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 12700-12700
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 12699-12699 子類 腿 and 肢

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10828-10828 %每個 CalfMuscle 是 腿 的 initially part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10843-10843 %每個 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 10872-10872 %每個 LowerLeg 是 腿 的 initially part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10835-10835 %每個 ShinMuscle 是 腿 的 initially part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10820-10820 %每個 ThighMuscle 是 腿 的 initially part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10867-10867 %每個 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 10827-10827 CalfMuscle typically 是 腿 的 part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10842-10842 HamstringMuscle typically 是 腿 的 part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10873-10873 LowerLeg typically 是 腿 的 part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10834-10834 ShinMuscle typically 是 腿 的 part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10819-10819 ThighMuscle typically 是 腿 的 part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10868-10868 UpperLeg typically 是 腿 的 part

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


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

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4404-4420
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12709-12722
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5163-5171
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12755-12760
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12729-12734
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12800-12805

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 2906-2906 子類 LeftLeg and BodySideFn 左 and 腿
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2909-2909 子類 RightLeg and BodySideFn 右 and 腿
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5161-5161 子類 長褲 and 對於 腿 的 covering


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