|
|
| appearance as argument number 1 |
|
|
| (documentation Vertebrate ChineseLanguage "这是一种有脊椎 Animal。") | chinese_format.kif 3399-3399 | |
| (documentation Vertebrate EnglishLanguage "An Animal which has a spinal column.") | Merge.kif 13486-13486 | |
| (subclass Vertebrate Animal) | Merge.kif 13485-13485 | Vertebrate is a subclass of animal |
| appearance as argument number 2 |
|
|
| (partition Animal Vertebrate Invertebrate) | Merge.kif 13432-13432 | Animal is exhaustively partitioned into vertebrate and invertebrate |
| (subclass ColdBloodedVertebrate Vertebrate) | Merge.kif 13522-13522 | Cold blooded vertebrate is a subclass of vertebrate |
| (subclass WarmBloodedVertebrate Vertebrate) | Merge.kif 13527-13527 | Warm blooded vertebrate is a subclass of vertebrate |
| (termFormat ChineseLanguage Vertebrate "脊椎动物") | chinese_format.kif 976-976 | |
| (termFormat EnglishLanguage Vertebrate "vertebrate") | english_format.kif 1164-1164 |
| antecedent |
|
|
| (<=> (instance ?VERT Vertebrate) (exists (?SPINE) (and (instance ?VERT Animal) (component ?SPINE ?VERT) (instance ?SPINE SpinalColumn)))) |
Mid-level-ontology.kif 9374-9380 | A corpuscular object is an instance of vertebrate if and only if there exists another corpuscular object such that the corpuscular object is an instance of animal and the other corpuscular object is a component of the corpuscular object and the other corpuscular object is an instance of spinal column |
| consequent |
|
|
| (=> (and (instance ?ANIMAL Animal) (instance ?SKELETON Skeleton) (part ?SKELETON ?ANIMAL)) (instance ?ANIMAL Vertebrate)) |
Mid-level-ontology.kif 9873-9878 |
|
| (=> (and (instance ?S NervousSystem) (part ?S ?A) (instance ?A Animal)) (instance ?A Vertebrate)) |
Mid-level-ontology.kif 9689-9694 |
|
| (=> (instance ?BONE Bone) (exists (?VERT) (and (instance ?VERT Vertebrate) (part ?BONE ?VERT)))) |
Merge.kif 14098-14103 |
|
| (=> (instance ?FACE Face) (exists (?VERTEBRATE) (and (instance ?VERTEBRATE Vertebrate) (part ?FACE ?VERTEBRATE)))) |
Mid-level-ontology.kif 10548-10553 |
|
| (=> (instance ?LIMB Limb) (exists (?VERTEBRATE) (and (instance ?VERTEBRATE Vertebrate) (part ?LIMB ?VERTEBRATE)))) |
Mid-level-ontology.kif 10273-10278 |
|
| (=> (instance ?S Skull) (exists (?V ?H) (and (instance ?V Vertebrate) (instance ?H Head) (part ?H ?V) (part ?S ?H)))) |
Mid-level-ontology.kif 9721-9728 |
|
| (=> (instance ?T Tail) (exists (?V) (and (instance ?V Vertebrate) (part ?T ?V) (not (instance ?V Human))))) |
Mid-level-ontology.kif 9404-9410 |
|
|
|
|
