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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Exoskeleton
Exoskeleton(exoskeleton)
exoskeleton

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11671-11672
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5997-5997
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6499-6499
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11673-11673 Every exoskeleton is initially part of a animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11669-11669 Exoskeleton is a subclass of animal anatomical structure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11670-11670 Exoskeleton is a subclass of body part

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22786-22786
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22785-22785
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22784-22784

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11675-11680
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11691-11701

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11682-11689 An object is an instance of bone if and only if there exists another object such that the other object is an instance of skeleton or the other object is an instance of exoskeleton and the object is a part of the other object


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