TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 14581-14581	Mammal is disjointly decomposed into aquatic mammal, hoofed mammal, marsupial, rodent, and 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	Mammal is a subclass of warm blooded vertebrate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	WMD.kif 356-356	Mammal is a biological agent carrier of burkholderia mallei
No TPTP formula. May not be expressible in strict first order.	WMD.kif 372-372	Mammal is a biological agent carrier of burkholderia pseudomallei
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1235-1235	Mammal is a biological agent carrier of monkeypox virus
No TPTP formula. May not be expressible in strict first order.	WMD.kif 247-247	Mammal is a biological agent carrier of rickettsial agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14562-14562	Bird is disjoint from mammal
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1976-1976	parasitic lice and mammal
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1987-1987	parasitic tick and mammal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14586-14586	Aquatic mammal is a subclass of mammal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4918-4918	Camel is a subclass of mammal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14598-14598	Carnivore is a subclass of mammal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30585-30585	Ferret is a subclass of mammal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20062-20062	Herbivore is a subclass of mammal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14590-14590	Hoofed mammal is a subclass of mammal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20318-20318	Llama is a subclass of mammal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30620-30620	Cub is a subclass of mammal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14594-14594	Marsupial is a subclass of mammal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14626-14626	Primate is a subclass of mammal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30432-30432	Rhinoceros is a subclass of mammal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14621-14621	Rodent is a subclass of mammal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20327-20327	Skunk is a subclass of mammal
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	The number 1 argument of diastolic blood pressure is an instance of mammal
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 334-334	The number 1 argument of resting breathing rate is an instance of mammal
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 114-114	The number 1 argument of baseline heart rate is an instance of mammal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10428-10428	The number 1 argument of systolic blood pressure is an instance of mammal
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5927-5927	The number 1 argument of typicalBloodVolume is a subclass of mammal

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10685-10696	If a kind of muscle and another kind of muscle are antagonist muscles and a process is an instance of extension and a kind of muscleC is an instrument for the process and another kind of muscleC moves during a motion and the kind of muscleC is an instance of the kind of muscle and the other kind of muscleC is an instance of the other kind of muscle and the kind of muscleC is a part of a third object and the other kind of muscleC is a part of the third object and the third object is an instance of mammal, then the other kind of muscleC is capable of doing flexion as a instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10672-10683	If a kind of muscle and another kind of muscle are antagonist muscles and a motion is an instance of flexion and a kind of muscleC is an instrument for the motion and another kind of muscleC moves during the motion and the kind of muscleC is an instance of the kind of muscle and the other kind of muscleC is an instance of the other kind of muscle and the kind of muscleC is a part of a third object and the other kind of muscleC is a part of the third object and the third object is an instance of mammal, then the other kind of muscleC is capable of doing extension as a instrument

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4853-4860	If a physical is an instance of blood thinner, then the physical has the purpose there exists an entity such that the entity is an instance of mammal and impairment in coagulation experiences the entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 67-78	If a transfer is an instance of applying a tourniquet, then there exist an agent, an entity and an object such that the agent is an instance of Agent and the entity is an instance of mammal and tourniquet is an attribute of the object holds during the time of existence of the transfer and the transfer ends up at the entity and the agent is an agent of the transfer and the object transferred in the transfer is the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11786-11792	If an entity is an instance of hair, then there exist another entity and a time position such that the other entity is an instance of mammal and the entity is a part of the other entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10870-10877	If an entity is an instance of milk, then there exist a process and an object such that the object is an instance of mammal and female is an attribute of the object and the object is an instrument for the process and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10199-10206	If an object is an instance of thrombocyte, then there exist another object and a third object such that the other object is an instance of blood and the third object is an instance of mammal and the other object is a part of the third object and the object is a part of the other object

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: