Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  InheritableRelation

Sigma KEE - InheritableRelation
InheritableRelation(inheritable relation)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1897-1898
No TPTP formula. May not be expressible in strict first order. Merge.kif 2466-2468
No TPTP formula. May not be expressible in strict first order. Merge.kif 2464-2464 Inheritable relation is a subclass of relation

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 3282-3282 Binary function is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3361-3361 Binary predicate is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2145-2145 Binary relation is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2307-2307 Case role is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3234-3234 Function is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2576-2576 Intentional relation is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2615-2615 Object attitude is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3223-3223 Predicate is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2471-2471 Probability relation is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2602-2602 Propositional attitude is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3344-3344 Quaternary function is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3383-3383 Quaternary predicate is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2756-2756 Quaternary relation is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3394-3394 Quintary predicate is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2763-2763 Quintary relation is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3415-3415 Relation extended to quantities is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2090-2090 Single valued relation is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2563-2563 Spatial relation is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2570-2570 Temporal relation is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3333-3333 Ternary function is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3372-3372 Ternary predicate is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2749-2749 Ternary relation is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2108-2108 Total valued relation is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3243-3243 Unary function is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30019-30019

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 199-204


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners