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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Exoskeleton
Exoskeleton

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11698-11699
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 11700-11700 initialPart Exoskeleton and Animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11696-11696 Exoskeleton e' uma sub-classe de AnimalAnatomicalStructure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11697-11697 Exoskeleton e' uma sub-classe de Parte do Corpo

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

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11709-11716 Objeto e' uma instancia de Osso Objeto Objeto e' uma instancia de Skeleton Objeto e' uma instancia de Exoskeleton Objeto e' uma &parte de Objeto


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