Mammal - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 14581-14581	哺乳动物分拆成不相交的水生哺乳动物, 有蹄哺乳动物, 有袋动物, 啮齿动物, 和灵长类动物
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	哺乳动物是温血脊椎动物的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	WMD.kif 356-356	哺乳动物是 burkholderia mallei 的病毒传递者
No TPTP formula. May not be expressible in strict first order.	WMD.kif 372-372	哺乳动物是 burkholderia 假单胞菌的病毒传递者
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1235-1235	哺乳动物是猴痘病毒的病毒传递者
No TPTP formula. May not be expressible in strict first order.	WMD.kif 247-247	哺乳动物是立克次体代理人的病毒传递者
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14562-14562	鸟和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1976-1976	parasitic Louse and 哺乳动物
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1987-1987	parasitic Tick and 哺乳动物
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14586-14586	水生哺乳动物是哺乳动物的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4918-4918	骆驼是哺乳动物的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14598-14598	食肉动物是哺乳动物的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30585-30585	Ferret 是哺乳动物的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20062-20062	草食动物是哺乳动物的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14590-14590	有蹄哺乳动物是哺乳动物的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20318-20318	Llama 是哺乳动物的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30620-30620	MammalCub 是哺乳动物的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14594-14594	有袋动物是哺乳动物的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14626-14626	灵长类动物是哺乳动物的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30432-30432	Rhinoceros 是哺乳动物的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14621-14621	啮齿动物是哺乳动物的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20327-20327	Skunk 是哺乳动物的 subclass
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	diastolicBloodPressure 的 1 数量是哺乳动物的 instance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 334-334	restingBreathingRate 的 1 数量是哺乳动物的 instance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 114-114	restingHeartRate 的 1 数量是哺乳动物的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10428-10428	systolicBloodPressure 的 1 数量是哺乳动物的 instance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5927-5927	typicalBloodVolume 的 1 数量是哺乳动物的 subclass

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10685-10696	如果 antagonistMuscles 有点肌肉 and 另一个有点肌肉和过程是 Extension 的 instance 和有点肌肉C 是导致那个过程的 instrument 和移动运动 and 另一个有点肌肉C 和那个有点肌肉C 是那个有点肌肉的 instance 和那个另外有点肌肉C 是那个另外有点肌肉的 instance 和那个有点肌肉C 是第三客体的 part 和那个另外有点肌肉C 是那个第三客体的 part 和那个第三客体是哺乳动物的 instance，然后那个另外有点肌肉C 能够担当工具的角色做 Flexion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10672-10683	如果 antagonistMuscles 有点肌肉 and 另一个有点肌肉和运动是 Flexion 的 instance 和有点肌肉C 是导致那个运动的 instrument 和移动那个运动 and 另一个有点肌肉C 和那个有点肌肉C 是那个有点肌肉的 instance 和那个另外有点肌肉C 是那个另外有点肌肉的 instance 和那个有点肌肉C 是第三客体的 part 和那个另外有点肌肉C 是那个第三客体的 part 和那个第三客体是哺乳动物的 instance，然后那个另外有点肌肉C 能够担当工具的角色做 Extension

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4853-4860	如果物理是 Anticoagulant 的 instance，然后那个物理的目的是有存在实体这样那个实体是哺乳动物的 instance 和 ImpairmentFn Clotting 经历了那个实体
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 67-78	如果转移是 ApplyingTourniquet 的 instance，然后有存在施事体，实体， and 和客体这样那个施事体是 Agent 的 instance 和那个实体是哺乳动物的 instance 和 Tourniquet 是那个客体的 attribute 在那个转移出现的 time holdsDuring 和那个转移在那个实体结束和那个施事体是那个转移的 agent 和 objectTransferred 那个转移 and 那个客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11786-11792	如果实体是头发的 instance，然后有存在另一个实体和时间位置这样那个另外实体是哺乳动物的 instance 和那个实体是那个另外实体的 part 在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10870-10877	如果实体是乳的 instance，然后有存在过程和客体这样那个客体是哺乳动物的 instance 和女是那个客体的 attribute 和那个客体是导致那个过程的 instrument 和那个实体是那个过程的 result
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10199-10206	如果客体是 Platelet 的 instance，然后有存在另一个客体和第三客体这样那个另外客体是血液的 instance 和那个第三客体是哺乳动物的 instance 和那个另外客体是那个第三客体的 part 和那个客体是那个另外客体的 part

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: