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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Exoskeleton

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 11156-11157
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5998-5998
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6500-6500
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11158-11158 Every exoskeleton is initially part of a animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11154-11154 Exoskeleton is a subclass of animal anatomical structure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11155-11155 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 22779-22779
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22778-22778
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22777-22777

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11160-11165
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11176-11186

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11167-11174 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 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