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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - habitatOfOrganism
habitatOfOrganism

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28076-28081
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28074-28074 The number 2 argument of habitatOfOrganism is an instance of geographic area
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28073-28073 The number 1 argument of habitatOfOrganism is a subclass of organism
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28072-28072 habitatOfOrganism is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 907-907

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28083-28090
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28092-28095

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17660-17660 Alligator inhabits china
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17659-17659 Alligator inhabits united states
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17675-17675 Badger inhabits africa
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17674-17674 Badger inhabits asia
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17673-17673 Badger inhabits europe
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17672-17672 Badger inhabits north america
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17689-17689 Bear inhabits asia
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17688-17688 Bear inhabits europe
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17687-17687 Bear inhabits north america
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17690-17690 Bear inhabits south america
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28265-28265 Cheetah inhabits africa
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28264-28264 Cheetah inhabits asia
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28243-28243 Crocodile inhabits africa
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28241-28241 Crocodile inhabits asia
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28244-28244 Crocodile inhabits australia
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28240-28240 Crocodile inhabits europe
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28242-28242 Crocodile inhabits north america
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28245-28245 Crocodile inhabits south america
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17701-17701 Kangaroo inhabits australia
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28167-28167 Lemur inhabits madagascar
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28067-28067 Lion inhabits africa
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28068-28068 Lion inhabits india
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17710-17710 Llama inhabits north america
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17709-17709 Llama inhabits south america
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28184-28184 Panda inhabits china

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners