Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Electron
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Limb AnimalAnatomicalStructure) | Mid-level-ontology.kif 14164-14164 | Limb is a subclass of animal anatomical structure |
| (subclass Limb BodyPart) | Mid-level-ontology.kif 14165-14165 | Limb is a subclass of body part |
| (documentation Limb EnglishLanguage "Any of the limbs of a Vertebrate. Animal Appendages with joints that are used for movement and grasping.") | Mid-level-ontology.kif 14166-14168 | Limb is a subclass of body part |
| (externalImage Limb "http://upload.wikimedia.org/wikipedia/commons/thumb/ 0/ 0e/ Upperarm.jpg/ 250px_Upperarm.jpg") | pictureList.kif 1157-1157 | Limb is a subclass of body part |
| appearance as argument number 2 |
|
|
| (subclass Wing Limb) | Mid-level-ontology.kif 12460-12460 | Wing is a subclass of limb |
| (subclass Arm Limb) | Mid-level-ontology.kif 14074-14074 | Arm is a subclass of limb |
| (initialPart DigitAppendage Limb) | Mid-level-ontology.kif 14120-14120 | Every digit appendage is initially part of a limb |
| (subclass Leg Limb) | Mid-level-ontology.kif 14289-14289 | Leg is a subclass of limb |
| (termFormat EnglishLanguage Limb "limb") | domainEnglishFormat.kif 34423-34423 | Leg is a subclass of limb |
| (termFormat ChineseTraditionalLanguage Limb "肢") | domainEnglishFormat.kif 34424-34424 | Leg is a subclass of limb |
| (termFormat ChineseLanguage Limb "肢") | domainEnglishFormat.kif 34425-34425 | Leg is a subclass of limb |
| antecedent |
|
|
| (=> (instance ?LIMB Limb) (exists (?VERTEBRATE) (and (instance ?VERTEBRATE Vertebrate) (part ?LIMB ?VERTEBRATE)))) |
Mid-level-ontology.kif 14170-14175 | If X is an instance of limb, then there exists Y such that Y is an instance of vertebrate and X is a part of Y |
| (=> (and (instance ?TORSO Torso) (instance ?LIMB Limb)) (not (overlapsSpatially ?TORSO ?LIMB))) |
Mid-level-ontology.kif 14427-14432 | If X is an instance of torso and Y is an instance of limb, then X and Y doesn't overlapsSpatially |
| (=> (and (instance ?A Amputating) (patient ?A ?H) (instance ?L Limb)) (exists (?P ?B) (and (part ?P ?L) (part ?B ?P) (instance ?B Bone) (holdsDuring (ImmediatePastFn (WhenFn ?A)) (part ?P ?H)) (holdsDuring (ImmediatePastFn (WhenFn ?A)) (not (part ?P ?H)))))) |
Medicine.kif 6288-6306 | If X is an instance of amputation, Y is a patient of X, and Z is an instance of limb, then there exist W, V such that W is a part of Z, V is a part of W, V is an instance of bone, W is a part of Y holds during immediately before the time of existence of X, and W is not a part of Y holds during immediately before the time of existence of X |
| consequent |
|
|
| (=> (instance ?DIGIT DigitAppendage) (exists (?LIMB) (and (instance ?LIMB Limb) (part ?DIGIT ?LIMB)))) |
Mid-level-ontology.kif 14101-14106 | If X is an instance of digit appendage, then there exists Y such that Y is an instance of limb and X is a part of Y |
| (=> (instance ?SNAKE Snake) (not (exists (?LIMB) (and (instance ?LIMB Limb) (part ?LIMB ?SNAKE))))) |
Mid-level-ontology.kif 14180-14185 | If X is an instance of snake, then there doesn't exist Y such that Y is an instance of limb and Y is a part of X |
|
