Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Leg

 Sigma KEE - Leg
Leg(腿)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12672-12672
No TPTP formula. May not be expressible in strict first order. pictureList.kif 123-123
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12671-12671 腿 是 肢 的 subclass

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10800-10800 %每个 CalfMuscle 是 腿 的 initially part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10815-10815 %每个 HamstringMuscle 是 腿 的 initially part
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1035-1035 %每个 LegBone 是 腿 的 initially part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10844-10844 %每个 LowerLeg 是 腿 的 initially part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10807-10807 %每个 ShinMuscle 是 腿 的 initially part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10792-10792 %每个 ThighMuscle 是 腿 的 initially part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10839-10839 %每个 UpperLeg 是 腿 的 initially part
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33773-33773
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33772-33772
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33771-33771
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10799-10799 CalfMuscle typically 是 腿 的 part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10814-10814 HamstringMuscle typically 是 腿 的 part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10845-10845 LowerLeg typically 是 腿 的 part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10806-10806 ShinMuscle typically 是 腿 的 part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10791-10791 ThighMuscle typically 是 腿 的 part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10840-10840 UpperLeg typically 是 腿 的 part

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12674-12679

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4411-4425
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12681-12694
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5168-5176
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12727-12732
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12701-12706
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12772-12777

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Medicine.kif 2906-2906 LeftLeg 是 BodySideFn 左 and 腿 的 subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2909-2909 RightLeg 是 BodySideFn 右 and 腿 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5166-5166 长裤 是 对于 腿 的 covering 的 subclass


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