Animal - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3392-3393
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14470-14471
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14469-14469	O conceito Animal e' completamente decomposto em Vertebrado + Invertebrado
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14468-14468	Animal e' uma sub-classe de Organismo

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23720-23720	initialPart AnimalAnatomicalStructure and Animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11528-11528	initialPart AnimalShell and Animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11672-11672	initialPart Exoskeleton and Animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11783-11783	initialPart Hair and Animal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14379-14379	O conceito Organismo e' completamente decomposto em Animal, Planta, Cogumelo, + Microorganismo
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 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
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.	chinese_format.kif 972-972
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1151-1151
No TPTP formula. May not be expressible in strict first order.	french_format.kif 649-649
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 180-180
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 183-183
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2333-2333
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 601-601
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 185-185
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 217-217
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 670-670
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 184-184

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24252-24252	O argumento numero 1 de birthplace e' uma instancia de Animal
No TPTP formula. May not be expressible in strict first order.	Biography.kif 204-204	O argumento numero 1 de burialplace e' uma instancia de Animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24296-24296	O argumento numero 1 de deathplace e' uma instancia de Animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6784-6784	O argumento numero 2 de detainee e' uma instancia de Animal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11518-11518	O argumento numero 1 de grasps e' uma instancia de Animal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15946-15946	O argumento numero 1 de wears e' uma instancia de Animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20353-20353	O argumento numero 2 de meatOfAnimal e' uma sub-classe de Animal

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10684-10695	antagonistMuscles Musculo and Musculo Movimento e' uma instancia de Extension MusculoC e' um instrumento para Movimento moves Movimento and MusculoC MusculoC e' uma instancia de Musculo MusculoC e' uma instancia de Musculo MusculoC e' uma &parte de Objeto MusculoC e' uma &parte de Objeto Objeto e' uma instancia de Animal MusculoC e' capaz de fazer Flexion no role instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10671-10682	antagonistMuscles Musculo and Musculo Movimento e' uma instancia de Flexion MusculoC e' um instrumento para Movimento moves Movimento and MusculoC MusculoC e' uma instancia de Musculo MusculoC e' uma instancia de Musculo MusculoC e' uma &parte de Objeto MusculoC e' uma &parte de Objeto Objeto e' uma instancia de Animal MusculoC e' capaz de fazer Extension no role instrument
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6237-6246	Objeto e' uma instancia de BodyAreaFn Parte do Corpo Objeto e' uma instancia de Animal Objeto e' uma &parte de Objeto Objeto Objeto e' uma instancia de Parte do Corpo Objeto e' Near em relacao a Objeto Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15001-15012	Objeto e' uma instancia de Animal Objeto e' uma instancia de BodySideFn AntiSymmetricPositionalAttribute and Parte do Corpo AntiSymmetricPositionalAttribute e' &o oposto de AntiSymmetricPositionalAttributeO Healthy e' um atributo de Objeto ObjetoO ObjetoO e' uma instancia de BodySideFn AntiSymmetricPositionalAttributeO and Parte do Corpo Objeto e' AntiSymmetricPositionalAttribute em relacao a ObjetoO
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11530-11537	Objeto e' uma instancia de Animal Objeto e' uma instancia de AnimalShell Objeto e' uma &parte de Objeto Objeto e' uma instancia de Invertebrado Objeto e' uma instancia de Reptil
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2162-2175	AutonomousAgent e' uma instancia de Animal Atributo e' uma instancia de Doenca ou Sindrome Atributo e' um atributo de AutonomousAgent Transferencia Objeto Transferencia e' uma instancia de Processo Biologico Transferencia e' uma instancia de Remover Transferencia tem como origem AutonomousAgent Objeto e' uma instancia de Sewage Transferencia e' um agente de AutonomousAgent objectTransferred Transferencia and Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11674-11679	Objeto e' uma instancia de Animal Objeto e' uma instancia de Exoskeleton Objeto e' uma &parte de Objeto Objeto e' uma instancia de Invertebrado
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11654-11659	Objeto e' uma instancia de Animal Objeto e' uma instancia de Skeleton Objeto e' uma &parte de Objeto Objeto e' uma instancia de Vertebrado
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11218-11228	Objeto e' uma instancia de Chest Classe e' uma instancia de Animal Objeto e' uma instancia de Classe Objeto e' uma &parte de Classe Objeto Objeto e' uma instancia de Torso Objeto e' uma &parte de Objeto Objeto e' uma &parte de Classe
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2708-2713	Processo e' uma instancia de Fishing Entidade e' um patient de Processo Entidade e' uma instancia de Animal Entidade e' uma instancia de Peixe
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5490-5500	Objeto e' uma instancia de Intestine Objeto e' uma instancia de Animal Objeto e' uma &parte de Objeto o argumento Entidade Entidade e' uma instancia de EscherichiaColi Objeto contem Entidade tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10527-10532	Processo e' uma instancia de Processo Intencional Processo e' um agente de AutonomousAgent AutonomousAgent e' uma instancia de Animal Acordado e' um atributo de AutonomousAgent vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11449-11454	Objeto e' uma instancia de NervousSystem Objeto e' uma &parte de Objeto Objeto e' uma instancia de Animal Objeto e' uma instancia de Vertebrado
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.	Mid-level-ontology.kif 11836-11843	Objeto e' uma instancia de VitalOrgan Objeto e' uma instancia de Animal Objeto e' uma &parte de Objeto Living e' um atributo de Objeto
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.	Mid-level-ontology.kif 6582-6584	Objeto e' uma instancia de Animal Objeto e' capaz de fazer Drooling no role experiencer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18150-18155	Objeto e' uma instancia de Animal Atributo Atributo e' uma instancia de Atributo Sexual Atributo e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18069-18079	AutonomousAgent e' uma instancia de Animal Processo Processo e' uma instancia de Movimento do Corpo Processo e' um agente de AutonomousAgent Atributo Atributo e' uma instancia de BodyPosition Atributo e' um atributo de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17653-17658	Objeto e' uma instancia de FoodForFn Animal Atributo Atributo e' uma instancia de Atributo Gustativo Atributo e' um atributo de Objeto

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10943-10949	Objeto Corpuscular e' uma instancia de Vertebrado Objeto Corpuscular Objeto Corpuscular e' uma instancia de Animal Objeto Corpuscular e' um componente de Objeto Corpuscular Objeto Corpuscular e' uma instancia de SpinalColumn
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.	Merge.kif 12281-12290	Processo e' uma instancia de Cirurgia Entidade e' um patient de Processo Processo Processo e' uma instancia de Cortar Entidade e' uma instancia de Animal Entidade e' um patient de Processo Processo e' um sub-processo de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8861-8865	Processo e' uma instancia de Bathing Entidade e' um patient de Processo Entidade e' uma instancia de Animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21388-21392	Processo e' uma instancia de Bleeding AutonomousAgent experimenta Processo AutonomousAgent e' uma instancia de Animal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14625-14631	AutonomousAgent e' uma instancia de Carnivoro Processo e' uma instancia de Comer Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo Entidade e' uma instancia de Animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2766-2773	Objeto e' uma instancia de AnimalPoweredDevice Objeto e' um instrumento para Processo Objeto Objeto e' uma instancia de Animal Objeto e' um instrumento para Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11581-11585	Processo e' uma instancia de Feeding Processo termina em Entidade Entidade e' uma instancia de Animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11575-11579	Processo e' uma instancia de Feeding Entidade e' um patient de Processo Entidade e' uma instancia de FoodForFn Animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24130-24136	Processo e' uma instancia de LayingEggs AutonomousAgent experimenta Processo AutonomousAgent e' uma instancia de Animal Female e' um atributo de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1420-1427	Objeto e' uma instancia de Linguagem Animal Processo e' um agente de AutonomousAgent Objeto e' um instrumento para Processo AutonomousAgent e' uma instancia de Animal AutonomousAgent e' uma instancia de Humano
No TPTP formula. May not be expressible in strict first order.	naics.kif 50-72	Colecao e' uma instancia de Organizacao AgricultureForestryFishingAndHunting e' um atributo de Colecao Processo AutonomousAgent AutonomousAgent e' membro de Colecao Processo e' um agente de AutonomousAgent Entidade Processo2 and AutonomousAgent2 Processo e' uma instancia de Matar Processo e' uma instancia de Preservar Entidade e' um patient de Processo Entidade e' uma instancia de Animal Entidade e' uma instancia de Planta Entidade e' uma instancia de Humano AutonomousAgent2 e' membro de Colecao Processo2 e' uma instancia de Vender Processo2 e' um agente de AutonomousAgent2 Entidade e' um patient de Processo2
No TPTP formula. May not be expressible in strict first order.	naics.kif 7319-7333	Colecao e' uma instancia de Organizacao FoodAndBeverageStores e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Entidade AutonomousAgent e' uma instancia de Vender Entidade e' uma instancia de FoodForFn Animal Entidade e' uma instancia de Bebida Entidade e' um patient de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13477-13481	Processo e' uma instancia de Percepcao Processo e' um agente de AutonomousAgent AutonomousAgent e' uma instancia de Animal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15022-15027	Objeto e' uma instancia de AnimalAnatomicalStructure Objeto e' uma instancia de Organismo Objeto e' uma &parte de Objeto Objeto e' uma instancia de Animal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14838-14843	Objeto e' uma instancia de AnimalSubstance Objeto e' uma instancia de Organismo Objeto e' uma &parte de Objeto Objeto e' uma instancia de Animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2739-2747	Fisico e' uma instancia de AnimalController Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Guiar Fisico e' um instrumento para Entidade Entidade e' uma instancia de Animal Entidade e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2409-2414	Entidade e' uma instancia de AnimalDoll Entidade Entidade e' uma instancia de Animal Entidade define Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4345-4354	Processo e' uma instancia de AnimalGuiding AutonomousAgent Transferencia and AutonomousAgent AutonomousAgent e' uma instancia de Animal Processo e' um agente de AutonomousAgent Transferencia e' uma instancia de Carrying Transferencia e' um agente de AutonomousAgent objectTransferred Transferencia and AutonomousAgent AutonomousAgent e' um instrumento para Processo
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6031-6040	Entidade e' uma instancia de Burrow Processo AutonomousAgent Processo e' uma instancia de Processo Processo e' um agente de AutonomousAgent AutonomousAgent e' uma instancia de Animal AutonomousAgent e' uma instancia de Humano Entidade e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 491-503	Movimento e' uma instancia de BloodCirculation Objeto Objeto, Objeto and Objeto Objeto e' uma instancia de Animal Objeto e' uma instancia de Sangue moves Movimento and Objeto Objeto e' uma instancia de Artery Objeto e' uma instancia de Vein Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Objeto e' o caminho ao longo do qual Movimento ocorre Objeto e' o caminho ao longo do qual Movimento ocorre
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1345-1353	Fisico e' uma instancia de CSGas Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Ferir Fisico e' um instrumento para Entidade Entidade e' um patient de Entidade Entidade e' uma instancia de Animal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11393-11398	Processo e' uma instancia de Carrying Objeto Objeto e' uma instancia de Animal Objeto e' um instrumento para Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15936-15943	Fisico e' uma instancia de Roupa Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Animal Entidade e' uma &parte de Entidade covers Fisico and Entidade

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

No TPTP formula. May not be expressible in strict first order.	Economy.kif 1744-1744	industryProductType FoodManufacturing and FoodForFn Animal
No TPTP formula. May not be expressible in strict first order.	Food.kif 2180-2180	Apple e' uma sub-classe de FoodForFn Animal
No TPTP formula. May not be expressible in strict first order.	Food.kif 2282-2282	Avocado e' uma sub-classe de FoodForFn Animal
No TPTP formula. May not be expressible in strict first order.	Food.kif 2371-2371	Coconut e' uma sub-classe de FoodForFn Animal
No TPTP formula. May not be expressible in strict first order.	Food.kif 2189-2189	DateFruit e' uma sub-classe de FoodForFn Animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21632-21632	Honey e' uma sub-classe de FoodForFn Animal
No TPTP formula. May not be expressible in strict first order.	Food.kif 2328-2328	LemonFruit e' uma sub-classe de FoodForFn Animal
No TPTP formula. May not be expressible in strict first order.	Food.kif 2342-2342	OrangeFruit e' uma sub-classe de FoodForFn Animal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4113-4113	Pea e' uma sub-classe de FoodForFn Animal
No TPTP formula. May not be expressible in strict first order.	Food.kif 2194-2194	PearFruit e' uma sub-classe de FoodForFn Animal
No TPTP formula. May not be expressible in strict first order.	Food.kif 3689-3689	WineGrape e' uma sub-classe de FoodForFn Animal

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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: