TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 14581-14581	Mammif�re est disjointement decompos� en mammif�re aquatique, ongul�, marsupial, rongeur, + primate
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3419-3420
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14582-14584
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4773-4773
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 43-43
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 44-44
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14580-14580	Mammif�re est une sous-classe de vert�br� � sang chaud

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	WMD.kif 356-356	biologicalAgentCarrier BurkholderiaMallei and mammif�re
No TPTP formula. May not be expressible in strict first order.	WMD.kif 372-372	biologicalAgentCarrier BurkholderiaPseudomallei and mammif�re
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1235-1235	biologicalAgentCarrier MonkeypoxVirus and mammif�re
No TPTP formula. May not be expressible in strict first order.	WMD.kif 247-247	biologicalAgentCarrier RickettsialAgent and mammif�re
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14562-14562	Oiseau est disjoint de mammif�re
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1976-1976	parasitic Louse and mammif�re
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1987-1987	parasitic Tick and mammif�re
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14586-14586	Mammif�re aquatique est une sous-classe de mammif�re
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4918-4918	Camel est une sous-classe de mammif�re
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14598-14598	Carnivore est une sous-classe de mammif�re
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30585-30585	Ferret est une sous-classe de mammif�re
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20062-20062	Herbivore est une sous-classe de mammif�re
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14590-14590	Ongul� est une sous-classe de mammif�re
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20318-20318	Llama est une sous-classe de mammif�re
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30620-30620	MammalCub est une sous-classe de mammif�re
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14594-14594	Marsupial est une sous-classe de mammif�re
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14626-14626	Primate est une sous-classe de mammif�re
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30432-30432	Rhinoceros est une sous-classe de mammif�re
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14621-14621	Rongeur est une sous-classe de mammif�re
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20327-20327	Skunk est une sous-classe de mammif�re
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 990-990
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1187-1187
No TPTP formula. May not be expressible in strict first order.	french_format.kif 667-667
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 198-198

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10440-10440	Le nombre 1 argument de diastolicBloodPressure est une instance de mammif�re
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 334-334	Le nombre 1 argument de restingBreathingRate est une instance de mammif�re
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 114-114	Le nombre 1 argument de restingHeartRate est une instance de mammif�re
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10428-10428	Le nombre 1 argument de systolicBloodPressure est une instance de mammif�re
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5927-5927	Le nombre 1 argument de typicalBloodVolume est une sous-classe de mammif�re

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10685-10696	antagonistMuscles muscle and muscle processus est une instance de Extension muscleC est un instrument pour processus moves d�palcement and muscleC muscleC est une instance de muscle muscleC est une instance de muscle muscleC est une partie de objet muscleC est une partie de objet objet est une instance de mammif�re muscleC est capable de faire Flexion dans le r�le instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10672-10683	antagonistMuscles muscle and muscle d�palcement est une instance de Flexion muscleC est un instrument pour d�palcement moves d�palcement and muscleC muscleC est une instance de muscle muscleC est une instance de muscle muscleC est une partie de objet muscleC est une partie de objet objet est une instance de mammif�re muscleC est capable de faire Extension dans le r�le instrument

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4853-4860	Physique est une instance de Anticoagulant physique a pour but entit� entit� est une instance de mammif�re ImpairmentFn Clotting exp�rimente entit�
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 67-78	Transf�re est une instance de ApplyingTourniquet AutonomousAgent entit� and objet AutonomousAgent est une instance de agent entit� est une instance de mammif�re Tourniquet est un attribut de objet pendant temps d'existence de transf�re transf�re aboutit � entit� transf�re est un agent de AutonomousAgent objectTransferred transf�re and objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11786-11792	Entit� est une instance de Hair entit� position temporel entit� est une instance de mammif�re entit� est une partie de entit� pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10870-10877	Entit� est une instance de Milk processus objet objet est une instance de mammif�re Female est un attribut de objet objet est un instrument pour processus entit� est le resultat de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10199-10206	Objet est une instance de Platelet objet objet objet est une instance de sang objet est une instance de mammif�re objet est une partie de objet objet est une partie de objet

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

KB Term:			Term intersection

English Word: