IndexA B C D E F G H I J K L M N O P Q R S T U V W X Y Z
A term in conceptual graph-theory (and knowledge engineering in
general). Here, we define the term as it is used in conceptual
In conceptual graph-theory, a knowledge base is a context
(concept) of type
"KnowledgeBase" whose designator (referent) consists of four concepts:
- Type hierarchy. A concept of type
TypeHierarchy whose referent is a conceptual graph which
specifies a number of type labels, a partial order over the type labels,
and the monadic lambda expressions which define the type labels.
hierarchy. A concept of type
RelationHierarchy whose referent is a conceptual graph which
specifies a number of relation labels, a partial order over the relation
labels, their valences, and the lambda expressions defining the
- Catalog of
individuals. A concept of type
CatalogOfIndividuals whose referent contains exactly one concept for
each individual marker that appears in any concept in the knowledge base.
- Outermost context. A concept of type Assertion
whose referent is a conceptual graph.
All of the conceptual graphs which we produce, such as
"All men are mortal"
will be inside of the referent of the
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z