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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 2472-2474
No TPTP formula. May not be expressible in strict first order. Merge.kif 2470-2470 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 3292-3292 Binary function is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3372-3372 Binary predicate is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2151-2151 Binary relation is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2313-2313 Case role is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3244-3244 Function is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2582-2582 Intentional relation is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2621-2621 Object attitude is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3233-3233 Predicate is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2477-2477 Probability relation is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2608-2608 Propositional attitude is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3355-3355 Quaternary function is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3394-3394 Quaternary predicate is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2762-2762 Quaternary relation is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3405-3405 Quintary predicate is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2769-2769 Quintary relation is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3426-3426 Relation extended to quantities is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2095-2095 Single valued relation is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2569-2569 Spatial relation is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2576-2576 Temporal relation is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3344-3344 Ternary function is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3383-3383 Ternary predicate is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2755-2755 Ternary relation is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2113-2113 Total valued relation is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3253-3253 Unary function is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30078-30078

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 198-203


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



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