TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 14603-14603	不相交分解 Mammal, AquaticMammal, HoofedMammal, 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 14604-14606
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 14602-14602	子類 Mammal and WarmBloodedVertebrate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	WMD.kif 356-356	Mammal 是 burkholderia mallei 的病毒傳遞者
No TPTP formula. May not be expressible in strict first order.	WMD.kif 372-372	Mammal 是 burkholderia 假單胞菌的病毒傳遞者
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1235-1235	Mammal 是猴痘病毒的病毒傳遞者
No TPTP formula. May not be expressible in strict first order.	WMD.kif 247-247	Mammal 是立克次體代理人的病毒傳遞者
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14584-14584	不相交的 Bird and Mammal
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1976-1976	parasitic Louse 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 14608-14608	子類 AquaticMammal and Mammal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4918-4918	子類駱駝 and Mammal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14620-14620	子類 Carnivore and Mammal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30573-30573	子類 Ferret and Mammal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20061-20061	子類草食動物 and Mammal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14612-14612	子類 HoofedMammal and Mammal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20317-20317	子類 Llama and Mammal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30608-30608	子類 MammalCub and Mammal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14616-14616	子類 Marsupial and Mammal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14648-14648	子類 Primate and Mammal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30420-30420	子類 Rhinoceros and Mammal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14643-14643	子類 Rodent and Mammal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20326-20326	子類 Skunk and 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 10439-10439	域 diastolicBloodPressure, 1 and Mammal
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 334-334	域 restingBreathingRate, 1 and Mammal
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 114-114	域 restingHeartRate, 1 and Mammal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10427-10427	域 systolicBloodPressure, 1 and Mammal
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5927-5927	域子類 typicalBloodVolume, 1 and Mammal

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4853-4860	例 Physical and Anticoagulant 有目的 Physical and entity 例 entity and Mammal 體驗者 entity and ImpairmentFn Clotting
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 67-78	例 Transfer and ApplyingTourniquet AutonomousAgent Entity and Object 例 AutonomousAgent and Agent 例 Entity and Mammal 持有期間何時 Transfer and attribute Object and Tourniquet 目的地 Transfer and Entity agent Transfer and AutonomousAgent objectTransferred Transfer and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11785-11791	例 Entity and 頭髮 Entity TimePosition 例 Entity and Mammal 持有期間 TimePosition and 部分 Entity and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10869-10876	例 Entity and 奶 Process Object 例 Object and Mammal attribute Object and 女儀器 Process and Object 結果 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10198-10205	例 Object and Platelet Object Object 例 Object and Blood 例 Object and Mammal 部分 Object and Object 部分 Object and 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: