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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Octopus

 Sigma KEE - Octopus
Octopus(octopus)devilfish, genus_Octopus, octopus

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30490-30490 The expected value of octopus is 33.0 pound mass(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30482-30488
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30491-30491 Octopus the attribute least concern species
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30492-30492 Octopus is a subclass of mollusk

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30493-30493 Octopus is the meat of octopus
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30494-30494


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