| Vertebrate(Vertebrado) | |
| 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 14523-14523 | |
| (subclass Vertebrate Animal) | Merge.kif 14522-14522 | Vertebrado e' uma sub-classe de Animal |
| appearance as argument number 2 |
|
|
| (partition Animal Vertebrate Invertebrate) | Merge.kif 14469-14469 | O conceito Animal e' completamente decomposto em Vertebrado + Invertebrado |
| (subclass ColdBloodedVertebrate Vertebrate) | Merge.kif 14568-14568 | Vertebrado de Sangue Frio e' uma sub-classe de Vertebrado |
| (subclass WarmBloodedVertebrate Vertebrate) | Merge.kif 14573-14573 | Vertebrado de Sangue Quente e' uma sub-classe de Vertebrado |
| (termFormat ChineseLanguage Vertebrate "脊椎动物") | chinese_format.kif 976-976 | |
| (termFormat EnglishLanguage Vertebrate "vertebrate") | english_format.kif 1159-1159 | |
| (termFormat FrenchLanguage Vertebrate "vertebr�") | french_format.kif 653-653 | |
| (termFormat Hindi Vertebrate "kasherukI") | terms-hindi.txt 184-184 | |
| (termFormat ItalianLanguage Vertebrate "Vertebrato") | terms-it.txt 187-187 | |
| (termFormat JapaneseLanguage Vertebrate "脊椎動物") | japanese_format.kif 2337-2337 | |
| (termFormat PortugueseLanguage Vertebrate "Vertebrado") | portuguese_format.kif 605-605 | |
| (termFormat cz Vertebrate "vertebrate") | terms-cz.txt 221-221 | |
| (termFormat ro Vertebrate "vertebratã") | relations-ro.kif 674-674 | |
| (termFormat tg Vertebrate "buto ng gulugod") | terms-tg.txt 188-188 |
| antecedent |
|
|
| (<=> (instance ?VERT Vertebrate) (exists (?SPINE) (and (instance ?VERT Animal) (component ?SPINE ?VERT) (instance ?SPINE SpinalColumn)))) |
Mid-level-ontology.kif 10943-10949 | Objeto Corpuscular e' uma instancia de Vertebrado Objeto Corpuscular Objeto Corpuscular e' uma instancia de Animal Objeto Corpuscular e' um componente de Objeto Corpuscular Objeto Corpuscular e' uma instancia de SpinalColumn |
| (=> (and (instance ?V Vertebrate) (instance ?H Head) (part ?H ?V) (attribute ?V Healthy)) (exists (?S ?B) (and (instance ?S Skull) (member ?B ?S) (part ?B ?H)))) |
Mid-level-ontology.kif 11486-11496 | |
| (=> (and (instance ?V Vertebrate) (instance ?H Head) (part ?H ?V) (instance ?S Skull) (attribute ?V Healthy) (member ?B ?S) (part ?B ?V)) (part ?B ?H)) |
Mid-level-ontology.kif 11498-11507 |
| consequent |
|
|
| (=> (and (instance ?ANIMAL Animal) (instance ?SKELETON Skeleton) (part ?SKELETON ?ANIMAL)) (instance ?ANIMAL Vertebrate)) |
Mid-level-ontology.kif 11654-11659 | |
| (=> (and (instance ?S NervousSystem) (part ?S ?A) (instance ?A Animal)) (instance ?A Vertebrate)) |
Mid-level-ontology.kif 11449-11454 | |
| (=> (instance ?BONE BoneTissue) (exists (?VERT) (and (instance ?VERT Vertebrate) (part ?BONE ?VERT)))) |
Merge.kif 15216-15221 |
|
| (=> (instance ?FACE Face) (exists (?VERTEBRATE) (and (instance ?VERTEBRATE Vertebrate) (part ?FACE ?VERTEBRATE)))) |
Mid-level-ontology.kif 12893-12898 | |
| (=> (instance ?LIMB Limb) (exists (?VERTEBRATE) (and (instance ?VERTEBRATE Vertebrate) (part ?LIMB ?VERTEBRATE)))) |
Mid-level-ontology.kif 12554-12559 | |
| (=> (instance ?T Tail) (exists (?V) (and (instance ?V Vertebrate) (part ?T ?V) (not (instance ?V Human))))) |
Mid-level-ontology.kif 10973-10979 |
|
|
|