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

Formal Language: 



KB Term:  Term intersection
English Word: 

  habitatOfOrganism

 Sigma KEE - habitatOfOrganism
habitatOfOrganism

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30381-30386
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30379-30379 Le nombre 2 argument de habitatOfOrganism est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30378-30378 Le nombre 1 argument de habitatOfOrganism est une sous-classe de organisme
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30377-30377 habitatOfOrganism est une instance de pr�dicat binaire

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3590-3590
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3589-3589
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3588-3588
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65846-65846

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30388-30395
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30397-30400

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20275-20275 habitatOfOrganism Alligator and China
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20274-20274 habitatOfOrganism Alligator and UnitedStates
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20290-20290 habitatOfOrganism Badger and Africa
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20289-20289 habitatOfOrganism Badger and Asia
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20288-20288 habitatOfOrganism Badger and Europe
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20287-20287 habitatOfOrganism Badger and NorthAmerica
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20304-20304 habitatOfOrganism Bear and Asia
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20303-20303 habitatOfOrganism Bear and Europe
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20302-20302 habitatOfOrganism Bear and NorthAmerica
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20305-20305 habitatOfOrganism Bear and SouthAmerica
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30570-30570 habitatOfOrganism Cheetah and Africa
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30569-30569 habitatOfOrganism Cheetah and Asia
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30548-30548 habitatOfOrganism Crocodile and Africa
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30546-30546 habitatOfOrganism Crocodile and Asia
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30549-30549 habitatOfOrganism Crocodile and Australia
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30545-30545 habitatOfOrganism Crocodile and Europe
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30547-30547 habitatOfOrganism Crocodile and NorthAmerica
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30550-30550 habitatOfOrganism Crocodile and SouthAmerica
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20316-20316 habitatOfOrganism Kangaroo and Australia
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30472-30472 habitatOfOrganism Lemur and Madagascar
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30372-30372 habitatOfOrganism Lion and Africa
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30373-30373 habitatOfOrganism Lion and India
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20325-20325 habitatOfOrganism Llama and NorthAmerica
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20324-20324 habitatOfOrganism Llama and SouthAmerica
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30489-30489 habitatOfOrganism Panda and China

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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