|
|
  contraryProperty
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Leg EnglishLanguage "The lower Limbs of Animals, used for locomotion.") | Mid-level-ontology.kif 12700-12700 | |
| (externalImage Leg "http://upload.wikimedia.org/wikipedia/commons/5/54/Legs.jpg") | pictureList.kif 123-123 | |
| (subclass Leg Limb) | Mid-level-ontology.kif 12699-12699 | 子類 腿 and 肢 |
| appearance as argument number 2 |
|
|
| (initialPart CalfMuscle Leg) | Mid-level-ontology.kif 10828-10828 | %每個 CalfMuscle 是 腿 的 initially part |
| (initialPart HamstringMuscle Leg) | Mid-level-ontology.kif 10843-10843 | %每個 HamstringMuscle 是 腿 的 initially part |
| (initialPart LegBone Leg) | Anatomy.kif 1035-1035 | %每個 LegBone 是 腿 的 initially part |
| (initialPart LowerLeg Leg) | Mid-level-ontology.kif 10872-10872 | %每個 LowerLeg 是 腿 的 initially part |
| (initialPart ShinMuscle Leg) | Mid-level-ontology.kif 10835-10835 | %每個 ShinMuscle 是 腿 的 initially part |
| (initialPart ThighMuscle Leg) | Mid-level-ontology.kif 10820-10820 | %每個 ThighMuscle 是 腿 的 initially part |
| (initialPart UpperLeg Leg) | Mid-level-ontology.kif 10867-10867 | %每個 UpperLeg 是 腿 的 initially part |
| (termFormat ChineseLanguage Leg "腿") | domainEnglishFormat.kif 33773-33773 | |
| (termFormat ChineseTraditionalLanguage Leg "腿") | domainEnglishFormat.kif 33772-33772 | |
| (termFormat EnglishLanguage Leg "leg") | domainEnglishFormat.kif 33771-33771 | |
| (typicalPart CalfMuscle Leg) | Mid-level-ontology.kif 10827-10827 | CalfMuscle typically 是 腿 的 part |
| (typicalPart HamstringMuscle Leg) | Mid-level-ontology.kif 10842-10842 | HamstringMuscle typically 是 腿 的 part |
| (typicalPart LowerLeg Leg) | Mid-level-ontology.kif 10873-10873 | LowerLeg typically 是 腿 的 part |
| (typicalPart ShinMuscle Leg) | Mid-level-ontology.kif 10834-10834 | ShinMuscle typically 是 腿 的 part |
| (typicalPart ThighMuscle Leg) | Mid-level-ontology.kif 10819-10819 | ThighMuscle typically 是 腿 的 part |
| (typicalPart UpperLeg Leg) | Mid-level-ontology.kif 10868-10868 | UpperLeg typically 是 腿 的 part |
| antecedent |
|
|
| (=> (instance ?LEG Leg) (exists (?ANIMAL) (and (instance ?ANIMAL Animal) (part ?LEG ?ANIMAL)))) |
Mid-level-ontology.kif 12702-12707 |
| consequent |
|
|
| (=> (and (instance ?A Biped) (instance ?W Ambulating) (agent ?W ?A)) (modalAttribute (exists (?L1 ?L2) (and (instance ?L1 Leg) (instance ?L2 Leg) (not (equal ?L1 ?L2)) (part ?L1 ?A) (part ?L2 ?A) (instrument ?W ?L1) (instrument ?W ?L2))) Likely)) |
Mid-level-ontology.kif 4404-4420 | |
| (=> (and (instance ?H Primate) (instance ?D DiseaseOrSyndrome) (not (attribute ?H ?D))) (exists (?L1 ?L2) (and (instance ?L1 Leg) (instance ?L2 Leg) (not (equal ?L1 ?L2)) (part ?L1 ?H) (part ?L2 ?H)))) |
Mid-level-ontology.kif 12709-12722 | |
| (=> (and (wears ?H ?T) (instance ?T Trousers)) (exists (?L) (and (instance ?L Leg) (part ?L ?H) (contains ?T ?L)))) |
Mid-level-ontology.kif 5163-5171 | |
| (=> (instance ?A Ankle) (exists (?L) (and (instance ?L Leg) (part ?A ?L)))) |
Mid-level-ontology.kif 12755-12760 | |
| (=> (instance ?FOOT Foot) (exists (?LIMB) (and (instance ?LIMB Leg) (part ?FOOT ?LIMB)))) |
Mid-level-ontology.kif 12729-12734 | |
| (=> (instance ?KNEE Knee) (exists (?LEG) (and (instance ?LEG Leg) (part ?KNEE ?LEG)))) |
Mid-level-ontology.kif 12800-12805 |
| statement |
|
|
| (subclass LeftLeg (BodySideFn Left Leg)) |
Medicine.kif 2906-2906 | 子類 LeftLeg and BodySideFn 左 and 腿 |
| (subclass RightLeg (BodySideFn Right Leg)) |
Medicine.kif 2909-2909 | 子類 RightLeg and BodySideFn 右 and 腿 |
| (subclass Trousers (CoveringFn Leg)) |
Mid-level-ontology.kif 5161-5161 | 子類 長褲 and 對於 腿 的 covering |
|
|
|
