![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(documentation Animal ChineseLanguage "这是一种有真核 Cell 的 Organism。 它们没有硬的细胞壁、 质体和光合色素。") | chinese_format.kif 3392-3393 | |
(documentation Animal EnglishLanguage "An Organism with eukaryotic Cells, and lacking stiff cell walls, plastids, and photosynthetic pigments.") | Merge.kif 14601-14602 | |
(partition Animal Vertebrate Invertebrate) | Merge.kif 14600-14600 | 動物 は 脊椎動物 + 無脊椎動物 に exhaustively partitioned |
(subclass Animal Organism) | Merge.kif 14599-14599 | 動物 は 物 の subclass では |
appearance as argument number 2 |
![]() |
(initialPart AnimalAnatomicalStructure Animal) | Mid-level-ontology.kif 25367-25367 | initialPart AnimalAnatomicalStructure and 動物 |
(initialPart AnimalShell Animal) | Mid-level-ontology.kif 12860-12860 | initialPart AnimalShell and 動物 |
(initialPart Exoskeleton Animal) | Mid-level-ontology.kif 13004-13004 | initialPart Exoskeleton and 動物 |
(initialPart Hair Animal) | Mid-level-ontology.kif 13115-13115 | initialPart Hair and 動物 |
(partition Organism Animal Plant Fungus Microorganism) | Merge.kif 14510-14510 | 物 は 動物, 植物, 菌類, + 微生物 に exhaustively partitioned |
(subclass Biped Animal) | Mid-level-ontology.kif 4850-4850 | Biped は 動物 の subclass では |
(subclass DomesticAnimal Animal) | Mid-level-ontology.kif 21604-21604 | DomesticAnimal は 動物 の subclass では |
(subclass Invertebrate Animal) | Merge.kif 14656-14656 | 無脊椎動物 は 動物 の subclass では |
(subclass Vertebrate Animal) | Merge.kif 14653-14653 | 脊椎動物 は 動物 の subclass では |
(termFormat ChineseLanguage Animal "动物") | chinese_format.kif 972-972 | 脊椎動物 は 動物 の subclass では |
(termFormat EnglishLanguage Animal "animal") | english_format.kif 1151-1151 | 脊椎動物 は 動物 の subclass では |
(termFormat FrenchLanguage Animal "animal") | french_format.kif 649-649 | 脊椎動物 は 動物 の subclass では |
(termFormat Hindi Animal "pashu") | terms-hindi.txt 180-180 | 脊椎動物 は 動物 の subclass では |
(termFormat ItalianLanguage Animal "Animale") | terms-it.txt 183-183 | 脊椎動物 は 動物 の subclass では |
(termFormat JapaneseLanguage Animal "動物") | japanese_format.kif 2333-2333 | 脊椎動物 は 動物 の subclass では |
(termFormat PortugueseLanguage Animal "Animal") | portuguese_format.kif 601-601 | 脊椎動物 は 動物 の subclass では |
(termFormat cb Animal "hayup") | terms-cb.txt 185-185 | 脊椎動物 は 動物 の subclass では |
(termFormat cz Animal "animal") | terms-cz.txt 217-217 | 脊椎動物 は 動物 の subclass では |
(termFormat de Animal "Tier") | terms-de.txt 476-476 | 脊椎動物 は 動物 の subclass では |
(termFormat ro Animal "animal") | relations-ro.kif 670-670 | 脊椎動物 は 動物 の subclass では |
(termFormat tg Animal "hayop") | terms-tg.txt 184-184 | 脊椎動物 は 動物 の subclass では |
appearance as argument number 3 |
![]() |
(domain birthplace 1 Animal) | Mid-level-ontology.kif 25900-25900 | birthplace の数値 1 引数は 動物 の instance では |
(domain burialplace 1 Animal) | Biography.kif 209-209 | burialplace の数値 1 引数は 動物 の instance では |
(domain deathplace 1 Animal) | Mid-level-ontology.kif 25959-25959 | deathplace の数値 1 引数は 動物 の instance では |
(domain detainee 2 Animal) | Mid-level-ontology.kif 7946-7946 | detainee の数値 2 引数は 動物 の instance では |
(domain grasps 1 Animal) | Merge.kif 11646-11646 | grasps の数値 1 引数は 動物 の instance では |
(domain wears 1 Animal) | Merge.kif 16100-16100 | wears の数値 1 引数は 動物 の instance では |
(domainSubclass meatOfAnimal 2 Animal) | Mid-level-ontology.kif 21971-21971 | meatOfAnimal の数値 2 引数は 動物 のsubclass では |
antecedent |
![]() |
(=> (and (antagonistMuscles ?A ?B) (instance ?E Extension) (instrument ?E ?AC) (moves ?E ?BC) (instance ?AC ?A) (instance ?BC ?B) (part ?AC ?H) (part ?BC ?H) (instance ?H Animal)) (capability Flexion instrument ?BC)) |
Mid-level-ontology.kif 12016-12027 | |
(=> (and (antagonistMuscles ?A ?B) (instance ?F Flexion) (instrument ?F ?AC) (moves ?F ?BC) (instance ?AC ?A) (instance ?BC ?B) (part ?AC ?H) (part ?BC ?H) (instance ?H Animal)) (capability Extension instrument ?BC)) |
Mid-level-ontology.kif 12003-12014 | |
(=> (and (instance ?A (BodyAreaFn ?OC)) (instance ?H Animal) (part ?A ?H)) (exists (?O) (and (instance ?O ?OC) (orientation ?A ?O Near) (part ?O ?H)))) |
Medicine.kif 6254-6263 | |
(=> (and (instance ?A Animal) (instance ?P (BodySideFn ?S ?BPC)) (contraryAttribute ?S ?SO) (attribute ?A Healthy)) (exists (?PO) (and (instance ?PO (BodySideFn ?SO ?BPC)) (orientation ?P ?PO ?S)))) |
Merge.kif 15132-15143 |
|
(=> (and (instance ?A Animal) (instance ?S AnimalShell) (part ?S ?A)) (or (instance ?A Invertebrate) (instance ?A Reptile))) |
Mid-level-ontology.kif 12862-12869 | |
(=> (and (instance ?ANI Animal) (instance ?D DiseaseOrSyndrome) (not (attribute ?ANI ?D))) (exists (?P ?W) (and (instance ?P BiologicalProcess) (instance ?P Removing) (origin ?P ?ANI) (instance ?W Sewage) (agent ?P ?ANI) (objectTransferred ?P ?W)))) |
Mid-level-ontology.kif 2625-2638 | |
(=> (and (instance ?ANIMAL Animal) (instance ?SKELETON Exoskeleton) (part ?SKELETON ?ANIMAL)) (instance ?ANIMAL Invertebrate)) |
Mid-level-ontology.kif 13006-13011 | |
(=> (and (instance ?ANIMAL Animal) (instance ?SKELETON Skeleton) (part ?SKELETON ?ANIMAL)) (instance ?ANIMAL Vertebrate)) |
Mid-level-ontology.kif 12986-12991 | |
(=> (and (instance ?C Chest) (instance ?A Animal) (instance ?C ?A) (part ?C ?A)) (exists (?T) (and (instance ?T Torso) (part ?C ?T) (part ?T ?A)))) |
Mid-level-ontology.kif 12550-12560 | |
(=> (and (instance ?FISHING Fishing) (patient ?FISHING ?TARGET) (instance ?TARGET Animal)) (instance ?TARGET Fish)) |
Geography.kif 2866-2871 | |
(=> (and (instance ?I Intestine) (instance ?A Animal) (part ?I ?A)) (modalAttribute (exists (?E) (and (instance ?E EscherichiaColi) (contains ?I ?E))) Likely)) |
Medicine.kif 5499-5509 | |
(=> (and (instance ?PROC IntentionalProcess) (agent ?PROC ?HUMAN) (instance ?HUMAN Animal)) (holdsDuring (WhenFn ?PROC) (attribute ?HUMAN Awake))) |
Merge.kif 10643-10648 |
|
(=> (and (instance ?S NervousSystem) (part ?S ?A) (instance ?A Animal)) (instance ?A Vertebrate)) |
Mid-level-ontology.kif 12781-12786 | |
(=> (and (instance ?SH SafetyHarness) (instance ?PERSON Animal) (wears ?PERSON ?SH)) (hasPurpose ?SH (exists (?PROC ?INJ ?I) (and (instance ?PROC Process) (instrument ?PROC ?SH) (patient ?PROC ?PERSON) (subclass ?INJ (KappaFn ?I (and (instance ?I Injuring) (exists (?F ?H ?T) (and (instance ?H Human) (experiencer ?I ?H) (instance ?F Falling) (experiencer ?F ?H) (causes ?F ?I) (=> (holdsDuring ?T (experiencer ?I ?PERSON)) (not (holdsDuring ?T (patient ?PROC ?PERSON))))))))) (prevents ?PROC ?INJ))))) |
Cars.kif 3450-3478 | |
(=> (and (instance ?VO VitalOrgan) (instance ?H Animal) (not (part ?VO ?H))) (not (attribute ?H Living))) |
Mid-level-ontology.kif 13168-13175 | |
(=> (and (instance ?X Respirator) (instance ?PERSON Animal) (wears ?PERSON ?X)) (hasPurpose ?X (exists (?INHAL ?INJ ?PROTECT ?I) (and (instance ?PROTECT Process) (instrument ?PROTECT ?X) (prevents ?PROTECT ?INJ) (subclass ?INJ (KappaFn ?I (and (instance ?I Injuring) (exists (?H) (and (instance ?H Human) (patient ?I ?H) (instance ?INHAL Inhaling) (agent ?INHAL ?H) (causes ?I ?INHAL)))))))))) |
Cars.kif 3592-3613 | |
(=> (instance ?A Animal) (capability Drooling experiencer ?A)) |
Mid-level-ontology.kif 7520-7522 | |
(=> (instance ?ANIMAL Animal) (exists (?ATTR) (and (instance ?ATTR SexAttribute) (attribute ?ANIMAL ?ATTR)))) |
Merge.kif 18315-18320 | |
(=> (instance ?ANIMAL Animal) (or (exists (?MOTION) (and (instance ?MOTION BodyMotion) (agent ?MOTION ?ANIMAL))) (exists (?ATTR) (and (instance ?ATTR BodyPosition) (attribute ?ANIMAL ?ATTR))))) |
Merge.kif 18233-18243 |
|
(=> (instance ?OBJ (FoodForFn Animal)) (exists (?ATTR) (and (instance ?ATTR TasteAttribute) (attribute ?OBJ ?ATTR)))) |
Merge.kif 17814-17819 |
consequent |
![]() |
statement |
![]() |
![]() |
![]() |