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 30502-30502 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 30494-30500
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30503-30503 Octopus the attribute least concern species
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30504-30504 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 30505-30505 Octopus is the meat of 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