Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Cars.kif 3397-3425	WearableItem e' uma instancia de SafetyHarness Animal e' uma instancia de Animal Animal usa WearableItem WearableItem tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Processo WearableItem e' um instrumento para Entidade Animal e' um patient de Entidade Entidade e' uma sub-classe de a classe descrita por Entidade Entidade proibe a ocurrencia de Entidade
No TPTP formula. May not be expressible in strict first order.	Food.kif 1909-1915	Objeto e' uma instancia de Carne Objeto Objeto Organico Objeto e' uma instancia de DeadFn Objeto Organico Objeto e' uma &parte de Objeto Objeto Organico e' uma sub-classe de Animal
No TPTP formula. May not be expressible in strict first order.	Food.kif 2876-2882	Objeto e' igual a OrganicObjectFn Objeto Objeto e' uma sub-classe de AnimalFat Objeto e' uma sub-classe de Tecido Gorduroso initialPart Objeto and Animal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4945-4950	Objeto e' igual a OrganicObjectFn Objeto Organico Objeto e' uma sub-classe de Carne Objeto Organico e' uma sub-classe de Animal
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3539-3560	WearableItem e' uma instancia de Respirator Animal e' uma instancia de Animal Animal usa WearableItem WearableItem tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Processo WearableItem e' um instrumento para Entidade Entidade proibe a ocurrencia de Entidade Entidade e' uma sub-classe de a classe descrita por Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14468-14468	Animal e' uma sub-classe de Organismo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4407-4407	Biped e' uma sub-classe de Animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20016-20016	DomesticAnimal e' uma sub-classe de Animal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14522-14522	Vertebrado e' uma sub-classe de Animal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14525-14525	Invertebrado e' uma sub-classe de Animal
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6794-6794	Locust e' uma sub-classe de Animal

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