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 29904-29904 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 29896-29902
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29905-29905 Octopus the attribute LeastConcernSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29906-29906 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 29907-29907 Octopus is the meat of octopus
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29908-29908


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