Theory BUILT-IN-THEORY

• Last modified: Sunday, 24 December 2000
• Source code: Built-In-Theory.lisp
• List of other known theories

Theory documentation:

No theories were included by Built-In-Theory.

No theories include Built-In-Theory.

67 classes defined:

    Measurement-Concept

110 relations defined:

  *
  +
  -
  /
  /=
  <
  <=
  <>
  =
  >
  >=
  All-Values
  Ancestor-Context
  Archetype
  Begins-At
  Binary-Tuple
  Built-In-Documentation
  Characteristics
  Child-Context
  Copyright
  Count
  Default-Qualified-Role-Values
  Default-Role-Values
  Default-Values
  Descendant-Context
  Dimensioned-Number
  Direct-Dependents
  Direct-Subrelations
  Direct-Superrelations
  Disjoint
  Documentation
  Domain
  Domain-Of
  Further-Modelling
  Has-Html-Image
  Holds-At
  Holds-True-2
  Holds-True-3
  Holds-True-4
  Home-Context
  Image-Used-By
  Implies
  Incoherence-Reason
  Instance-Of
  Instances
  Isa
  Link
  Link-Object
  List-Members
  Mapping
  Max
  Member-Of
  Members
  Min
  Most-Specific-Concepts
  N-Ary-Tuple
  Obsolete
  Okbc-Slot-Collection-Type
  Parent-Context
  Parents
  Predecessor
  Problem
  Proper-Subrelations
  Proper-Superrelations
  Proposition-Arguments
  Proposition-Operator
  Proposition-Truth-Value
  Qualified-Role-Cardinality
  Qualified-Role-Max-Cardinality
  Qualified-Role-Max-Value
  Qualified-Role-Min-Cardinality
  Qualified-Role-Min-Value
  Qualified-Role-Types
  Qualified-Role-Values
  Qv-Display-Leading-Image
  Qv-Display-Trailing-Image
  Range
  Range-Of
  Reifies
  Restrictions
  Role-Cardinality
  Role-Max-Cardinality
  Role-Max-Value
  Role-Min-Cardinality
  Role-Min-Value
  Role-Types
  Role-Values
  Roles
  Same-As
  See-Also
  Seen-From
  Strict-Qualified-Role-Values
  Strict-Role-Values
  Strict-Values
  Subrelations
  Subset
  Successor
  Sum
  Superrelations
  Superset
  Term-Implies
  The-Context
  The-Instance
  The-Instance-Role
  The-Relation
  The-Role
  Types
  Unit-Magnitude-As
  Units
  Usn-Documentation

33 functions defined:

  Arity
  Background-File-Name
  Background-Package-Name
  Base-Unit
  Cardinality
  Concept-Name
  Html-Image-Alternative-Text
  Html-Image-Border
  Html-Image-Height
  Html-Image-Url
  Html-Image-Width
  Identity
  Max-Cardinality
  Measure-Object
  Min-Cardinality
  Name
  Okbc-Pretty-Name
  Output-Unit
  Qualification
  Qv-Display-Text
  Qv-Image-Border
  Qv-Url
  Reification-Relation
  Reified-By
  Relation-Name
  Source-Case
  Source-Role
  Target-Case
  Target-Role
  The-Archetype
  Unit-Magnitude
  Unit-Unit
  Value-Format-String

2 instances defined:

  False
  True

The following constants were used from theories not included:

• =< defined as a relation in theory Kif-Numbers
• Alias defined as a relation in theory Frame-Ontology
• Class defined as a class in theory Frame-Ontology
• Function defined as a class in theory Kif-Relations
• Inverse defined as a function in theory Kif-Relations
• Item defined as a relation in theory Kif-Lists
• Member defined as a relation in theory Kif-Sets
• Minimum-Slot-Cardinality defined as a relation in theory Frame-Ontology
• Nth-Domain defined as a relation in theory Frame-Ontology
• Subclass-Of defined as a relation in theory Frame-Ontology
• Subclass-Partition defined as a relation in theory Frame-Ontology
• Subrelation-Of defined as a relation in theory Frame-Ontology
• Unary-Relation defined as a class in theory Kif-Relations
• Value-Cardinality defined as a function in theory Frame-Ontology
• Value-Type defined as a relation in theory Frame-Ontology

All constants that were mentioned were defined.