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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Leg
Leg(腿)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12673-12673
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 12672-12672 腿 是 肢 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10801-10801 %每个 CalfMuscle 是 腿 的 initially part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10816-10816 %每个 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 10845-10845 %每个 LowerLeg 是 腿 的 initially part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10808-10808 %每个 ShinMuscle 是 腿 的 initially part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10793-10793 %每个 ThighMuscle 是 腿 的 initially part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10840-10840 %每个 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 10800-10800 CalfMuscle typically 是 腿 的 part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10815-10815 HamstringMuscle typically 是 腿 的 part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10846-10846 LowerLeg typically 是 腿 的 part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10807-10807 ShinMuscle typically 是 腿 的 part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10792-10792 ThighMuscle typically 是 腿 的 part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10841-10841 UpperLeg typically 是 腿 的 part

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


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

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 12682-12695
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5169-5177
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12728-12733
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12702-12707
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12773-12778

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 5167-5167 长裤 是 对于 腿 的 covering 的 subclass


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