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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AnimalShell

Sigma KEE - AnimalShell
AnimalShell(animal shell)
carapace, clamshell, clypeus, cuticle, mother-of-pearl, nacre, oyster_shell, phragmacone, phragmocone, plastron, scallop_shell, sclerite, scute, seashell, shell, shield, test, valve

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11012-11013
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1031-1031
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11014-11014 Every animal shell is initially part of a animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11010-11010 Animal shell is a subclass of animal anatomical structure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11011-11011 Animal shell is a subclass of body part

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7617-7617
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7616-7616
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7615-7615

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11016-11023


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