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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Octopus

 Sigma KEE - Octopus
Octopus

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30502-30502 defaultMeasure Octopus and 33.0 PoundMass(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30494-30500
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30503-30503 Octopus tem um atributo de LeastConcernSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30504-30504 Octopus e' uma sub-classe de Molusco

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30505-30505 meatOfAnimal OctopusMeat and Octopus
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30506-30506


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