more pictures...
| Organism(生物)
more pictures... | |
| appearance as argument number 1 |
|
|
| (disjoint Organism Artifact) | Merge.kif 14509-14509 | 生物 和 % 2 是 disjoint |
| (documentation Organism ChineseLanguage "这通常是指有生命的个体，包括所有的 Plant 和 Animal。") | chinese_format.kif 3372-3372 | 生物 和 % 2 是 disjoint |
| (documentation Organism EnglishLanguage "Generally, a living individual, including all Plants and Animals.") | Merge.kif 14511-14512 | 生物 和 % 2 是 disjoint |
| (externalImage Organism "http://upload.wikimedia.org/wikipedia/commons/3/ 3e/ Blue_crab_on_market_in_Piraeus_-_Callinectes_sapidus_Rathbun_20020819-317.jpg") | pictureList.kif 6746-6746 | 生物 和 % 2 是 disjoint |
| (externalImage Organism "http://upload.wikimedia.org/wikipedia/commons/a/ a1/ Ericoid_mycorrhizal_fungus.jpg") | pictureList.kif 7482-7482 | 生物 和 % 2 是 disjoint |
| (externalImage Organism "http://upload.wikimedia.org/wikipedia/commons/c/ c0/ Stromatolites.jpg") | pictureList.kif 7483-7483 | 生物 和 % 2 是 disjoint |
| (externalImage Organism "http://upload.wikimedia.org/wikipedia/commons/d/ d4/ Fungi_in_Borneo.jpg") | pictureList.kif 7484-7484 | 生物 和 % 2 是 disjoint |
| (externalImage Organism "http://upload.wikimedia.org/wikipedia/commons/f/ f8/ Elephant_ear_sponge.jpg") | pictureList.kif 7486-7486 | 生物 和 % 2 是 disjoint |
| (partition Organism Animal Plant Fungus Microorganism) | Merge.kif 14510-14510 | 生物 详尽无遗地 partition 成 动物, 植物, 菌类, 和 微生物 |
| (subclass Organism AutonomousAgent) | Merge.kif 14508-14508 | 生物 是 施事体 的 subclass |
| (subclass Organism OrganicObject) | Merge.kif 14507-14507 | 生物 是 有机物体 的 subclass |
| appearance as argument number 2 |
|
|
| (instance Inhabitant Organism) | Mid-level-ontology.kif 32321-32321 | Inhabitant 是 生物 的 instance |
| (partition OrganicObject Organism AnatomicalStructure) | Merge.kif 14501-14501 | 有机物体 详尽无遗地 partition 成 生物 和 解剖结构 |
| (subclass Animal Organism) | Merge.kif 14599-14599 | 动物 是 生物 的 subclass |
| (subclass Carnivore Organism) | Merge.kif 14751-14751 | 食肉动物 是 生物 的 subclass |
| (subclass Fungivore Organism) | Mid-level-ontology.kif 21680-21680 | Fungivore 是 生物 的 subclass |
| (subclass Fungus Organism) | Merge.kif 14578-14578 | 菌类 是 生物 的 subclass |
| (subclass GeneticallyEngineeredOrganism Organism) | WMD.kif 234-234 | 基因工程生物 是 生物 的 subclass |
| (subclass Herbivore Organism) | Mid-level-ontology.kif 21649-21649 | 草食动物 是 生物 的 subclass |
| (subclass Microorganism Organism) | Merge.kif 14604-14604 | 微生物 是 生物 的 subclass |
| (subclass Omnivore Organism) | Mid-level-ontology.kif 21664-21664 | Omnivore 是 生物 的 subclass |
| (subclass Parasite Organism) | Mid-level-ontology.kif 6825-6825 | Parasite 是 生物 的 subclass |
| (subclass Plant Organism) | Merge.kif 14552-14552 | 植物 是 生物 的 subclass |
| (subclass ToxicOrganism Organism) | WMD.kif 187-187 | 有毒生物 是 生物 的 subclass |
| (termFormat ChineseLanguage Organism "生物") | chinese_format.kif 964-964 | 有毒生物 是 生物 的 subclass |
| (termFormat EnglishLanguage Organism "organism") | english_format.kif 1135-1135 | 有毒生物 是 生物 的 subclass |
| (termFormat FrenchLanguage Organism "organisme") | french_format.kif 641-641 | 有毒生物 是 生物 的 subclass |
| (termFormat Hindi Organism "jIvadhaarI padaartha") | terms-hindi.txt 172-172 | 有毒生物 是 生物 的 subclass |
| (termFormat ItalianLanguage Organism "Organismo") | terms-it.txt 175-175 | 有毒生物 是 生物 的 subclass |
| (termFormat JapaneseLanguage Organism "物") | japanese_format.kif 2325-2325 | 有毒生物 是 生物 的 subclass |
| (termFormat PortugueseLanguage Organism "Organismo") | portuguese_format.kif 593-593 | 有毒生物 是 生物 的 subclass |
| (termFormat cz Organism "organism") | terms-cz.txt 209-209 | 有毒生物 是 生物 的 subclass |
| (termFormat de Organism "Organismus") | terms-de.txt 468-468 | 有毒生物 是 生物 的 subclass |
| (termFormat ro Organism "organism") | relations-ro.kif 662-662 | 有毒生物 是 生物 的 subclass |
| (termFormat tg Organism "kinapal") | terms-tg.txt 176-176 | 有毒生物 是 生物 的 subclass |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| (domain OrganismPopulationFn 1 Organism) | Mid-level-ontology.kif 33674-33674 | OrganismPopulationFn 的 1 数量 是 生物 的 instance |
| (domain ancestor 1 Organism) | Merge.kif 16525-16525 | 祖先 的 1 数量 是 生物 的 instance |
| (domain ancestor 2 Organism) | Merge.kif 16526-16526 | 祖先 的 2 数量 是 生物 的 instance |
| (domain coreBodyTemp 1 Organism) | Medicine.kif 495-495 | coreBodyTemp 的 1 数量 是 生物 的 instance |
| (domain daughter 1 Organism) | Merge.kif 16613-16613 | 女儿 的 1 数量 是 生物 的 instance |
| (domain daughter 2 Organism) | Merge.kif 16614-16614 | 女儿 的 2 数量 是 生物 的 instance |
| (domain familyRelation 1 Organism) | Merge.kif 16507-16507 | 家属关系 的 1 数量 是 生物 的 instance |
| (domain familyRelation 2 Organism) | Merge.kif 16508-16508 | 家属关系 的 2 数量 是 生物 的 instance |
| (domain father 1 Organism) | Merge.kif 16601-16601 | 父亲 的 1 数量 是 生物 的 instance |
| (domain father 2 Organism) | Merge.kif 16602-16602 | 父亲 的 2 数量 是 生物 的 instance |
| (domain fathersBrothersDaughter 1 Organism) | ArabicCulture.kif 682-682 | 父亲兄弟的女儿 的 1 数量 是 生物 的 instance |
| (domain fathersBrothersDaughter 2 Organism) | ArabicCulture.kif 683-683 | 父亲兄弟的女儿 的 2 数量 是 生物 的 instance |
| (domain fathersBrothersSon 1 Organism) | ArabicCulture.kif 668-668 | 父亲兄弟的儿子 的 1 数量 是 生物 的 instance |
| (domain fathersBrothersSon 2 Organism) | ArabicCulture.kif 669-669 | 父亲兄弟的儿子 的 2 数量 是 生物 的 instance |
| (domain fathersBrothersWife 1 Organism) | ArabicCulture.kif 612-612 | 父亲兄弟的妻子 的 1 数量 是 生物 的 instance |
| (domain fathersBrothersWife 2 Organism) | ArabicCulture.kif 613-613 | 父亲兄弟的妻子 的 2 数量 是 生物 的 instance |
| (domain fathersSistersDaughter 1 Organism) | ArabicCulture.kif 738-738 | 父亲姐妹的女儿 的 1 数量 是 生物 的 instance |
| (domain fathersSistersDaughter 2 Organism) | ArabicCulture.kif 739-739 | 父亲姐妹的女儿 的 2 数量 是 生物 的 instance |
| (domain fathersSistersHusband 1 Organism) | ArabicCulture.kif 640-640 | 父亲姐妹的丈夫 的 1 数量 是 生物 的 instance |
| (domain fathersSistersHusband 2 Organism) | ArabicCulture.kif 641-641 | 父亲姐妹的丈夫 的 2 数量 是 生物 的 instance |
| (domain fathersSistersSon 1 Organism) | ArabicCulture.kif 724-724 | 父亲姐妹的儿子 的 1 数量 是 生物 的 instance |
| (domain fathersSistersSon 2 Organism) | ArabicCulture.kif 725-725 | 父亲姐妹的儿子 的 2 数量 是 生物 的 instance |
| (domain inhabits 1 Organism) | Merge.kif 14523-14523 | 居住 的 1 数量 是 生物 的 instance |
| (domain maternalAunt 1 Organism) | ArabicCulture.kif 599-599 | 母方的姑妈 的 1 数量 是 生物 的 instance |
| (domain maternalAunt 2 Organism) | ArabicCulture.kif 600-600 | 母方的姑妈 的 2 数量 是 生物 的 instance |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| (=> (and (holdsDuring ?T1 (legalRelation ?A1 ?A2)) (instance ?A1 Organism) (instance ?A2 Organism)) (holdsDuring ?T1 (relative ?A1 ?A2))) |
Merge.kif 16499-16504 | |
| (=> (and (instance ?BODY ReproductiveBody) (part ?BODY ?ORG) (instance ?ORG Organism)) (attribute ?ORG Female)) |
Merge.kif 18304-18309 | |
| (=> (and (instance ?DEATH Death) (instance ?ORG Organism) (experiencer ?DEATH ?ORG)) (exists (?REM ?OBJ) (and (result ?DEATH ?REM) (instance ?REM OrganicObject) (holdsDuring (FutureFn (WhenFn ?DEATH)) (attribute ?REM Dead)) (=> (holdsDuring (ImmediateFutureFn (WhenFn ?DEATH)) (part ?OBJ ?REM)) (holdsDuring (ImmediatePastFn (WhenFn ?DEATH)) (part ?OBJ ?ORG)))))) |
Merge.kif 10362-10377 | |
| (=> (and (instance ?DEATH Death) (instance ?REM OrganismRemains) (instance ?ORG Organism) (holdsDuring ?T2 (part ?OBJ ?REM)) (holdsDuring ?T1 (part ?OBJ ?ORG)) (earlier ?T1 ?T2) (experiencer ?DEATH ?ORG)) (result ?DEATH ?REM)) |
Mid-level-ontology.kif 85-94 | |
| (=> (and (instance ?DEATH Death) (instance ?REM OrganismRemains) (instance ?ORG Organism) (holdsDuring ?T2 (part ?OBJ ?REM)) (holdsDuring ?T1 (part ?OBJ ?ORG)) (earlier ?T1 ?T2) (result ?DEATH ?REM)) (experiencer ?DEATH ?ORG)) |
Mid-level-ontology.kif 74-83 | |
| (=> (and (instance ?GUN Gun) (instance ?U UnitOfLength) (effectiveRange ?GUN (MeasureFn ?LM ?U)) (distance ?GUN ?O (MeasureFn ?LM1 ?U)) (instance ?O Organism) (not (exists (?O2) (between ?O ?O2 ?GUN))) (lessThanOrEqualTo ?LM1 ?LM)) (exists (?KILLING) (capability (KappaFn ?KILLING (and (instance ?KILLING Killing) (patient ?KILLING ?O))) instrument ?GUN))) |
Mid-level-ontology.kif 1634-1653 | |
| (=> (and (instance ?INJ Damaging) (instance ?ORGANISM Organism) (patient ?INJ ?ORGANISM)) (instance ?INJ Injuring)) |
Merge.kif 10587-10592 | |
| (=> (and (instance ?O Organism) (instance ?E Egg) (attribute ?O Embryonic) (part ?O ?E)) (exists (?Y) (and (instance ?Y EggYolk) (hasPurpose ?Y (exists (?I) (and (instance ?I Ingesting) (agent ?I ?O) (resource ?I ?Y))))))) |
Food.kif 2555-2569 | |
| (=> (and (instance ?ORGANISM Organism) (agent ?PROCESS ?ORGANISM)) (holdsDuring (WhenFn ?PROCESS) (attribute ?ORGANISM Living))) |
Merge.kif 18271-18275 | |
| (=> (and (instance ?P ForestProduct) (instance ?M Manufacture) (result ?M ?P) (patient ?M ?X) (instance ?X Organism)) (exists (?A ?F) (and (instance ?A Agriculture) (result ?A ?X) (eventLocated ?A ?F) (instance ?F Forest)))) |
Economy.kif 5551-5563 | |
| (=> (and (instance ?REL SheddingPart) (?REL ?O ?P) (instance ?O ?ORG) (subclass ?ORG Organism)) (exists (?PART) (and (instance ?P (DeadFn ?PART)) (initialPart ?PART ?ORG)))) |
Geography.kif 6728-6737 | |
| (=> (and (instance ?REL SheddingPart) (?REL ?O ?P) (instance ?O Organism) (instance ?P AnatomicalStructure) (part ?P ?O)) (exists (?R) (and (instance ?R Removing) (origin ?R ?O) (patient ?R ?P)))) |
Geography.kif 6715-6726 | |
| (=> (and (instance ?REM OrganicObject) (instance ?DEATH Death) (instance ?ORG Organism) (experiencer ?DEATH ?ORG) (result ?DEATH ?REM)) (instance ?REM OrganismRemains)) |
Mid-level-ontology.kif 58-65 | |
| (=> (and (instance ?STRUCTURE AnimalAnatomicalStructure) (instance ?ANIMAL Organism) (part ?STRUCTURE ?ANIMAL)) (instance ?ANIMAL Animal)) |
Merge.kif 15153-15158 | |
| (=> (and (instance ?STRUCTURE PlantAnatomicalStructure) (instance ?PLANT Organism) (part ?STRUCTURE ?PLANT)) (instance ?PLANT Plant)) |
Merge.kif 15164-15169 | |
| (=> (and (instance ?SUBSTANCE AnimalSubstance) (instance ?ANIMAL Organism) (part ?SUBSTANCE ?ANIMAL)) (instance ?ANIMAL Animal)) |
Merge.kif 14969-14974 | |
| (=> (and (instance ?SUBSTANCE PlantSubstance) (instance ?PLANT Organism) (part ?SUBSTANCE ?PLANT)) (instance ?PLANT Plant)) |
Merge.kif 14980-14985 | |
| (=> (and (parent ?CHILD ?PARENT) (subclass ?CLASS Organism) (instance ?PARENT ?CLASS)) (instance ?CHILD ?CLASS)) |
Merge.kif 16554-16559 | |
| (=> (instance ?O Organism) (attribute ?O Mortal)) |
Mid-level-ontology.kif 25935-25937 | |
| (=> (instance ?O Organism) (capability BiologicalProcess experiencer ?O)) |
Merge.kif 10294-10296 | |
| (=> (instance ?O Organism) (capability Killing agent ?O)) |
Merge.kif 12473-12475 | |
| (=> (instance ?O Organism) (capability Killing patient ?O)) |
Merge.kif 12477-12479 | |
| (=> (instance ?O Organism) (not (capability BiologicalProcess agent ?O))) |
Merge.kif 10289-10292 | |
| (=> (instance ?ORG Organism) (exists (?ATTR) (and (instance ?ATTR AnimacyAttribute) (attribute ?ORG ?ATTR)))) |
Merge.kif 18283-18288 | |
| (=> (instance ?ORG Organism) (exists (?ATTR) (and (instance ?ATTR DevelopmentalAttribute) (attribute ?ORG ?ATTR)))) |
Merge.kif 18345-18350 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| consequent |
|
|
| (=> (and (equal (MeasureFn ?Y McgPerKg) (PerFn ?M1 ?M2)) (equal ?M1 (MeasureFn ?NUM1 (MicroFn Gram))) (equal ?M2 (MeasureFn ?NUM2 (KiloFn Gram)))) (exists (?I ?B ?A) (and (instance ?I Ingesting) (instance ?B BiologicallyActiveSubstance) (instance ?A Organism) (patient ?I ?B) (agent ?I ?A) (weight ?B ?M1) (weight ?A ?M2)))) |
WMD.kif 823-840 |
|
| (=> (and (equal ?P (OrganicObjectFn ?ORG)) (subclass ?P Object)) (or (subclass ?ORG Organism) (subclass ?ORG AnatomicalStructure))) |
Economy.kif 5599-5606 | |
| (=> (and (instance ?ACT Ingesting) (resource ?ACT ?F)) (or (instance ?F (FoodForFn Organism)) (instance ?F Medicine))) |
Merge.kif 10392-10398 | |
| (=> (and (instance ?ATTACK BiochemicalAttack) (patient ?ATTACK ?OBJ)) (instance ?OBJ Organism)) |
WMD.kif 64-68 | |
| (=> (and (instance ?BACTERIUM Bacterium) (inhabits ?BACTERIUM ?OBJ)) (instance ?OBJ Organism)) |
Merge.kif 14625-14629 | |
| (=> (and (instance ?CHEW Chewing) (resource ?CHEW ?FOOD)) (instance ?FOOD (FoodForFn Organism))) |
Mid-level-ontology.kif 12885-12889 | |
| (=> (and (instance ?FUNGUS Fungus) (inhabits ?FUNGUS ?OBJ)) (instance ?OBJ Organism)) |
Merge.kif 14584-14588 | |
| (=> (and (instance ?I Infecting) (experiencer ?I ?H)) (exists (?T ?R ?O) (and (instance ?T Translocation) (moves ?T ?O) (instance ?O Organism) (instance ?R Replication) (experiencer ?R ?O) (subProcess ?T ?I) (subProcess ?R ?I)))) |
Mid-level-ontology.kif 6784-6796 | |
| (=> (and (instance ?KILL Killing) (agent ?KILL ?AGENT) (patient ?KILL ?PATIENT)) (and (instance ?AGENT Organism) (instance ?PATIENT Organism))) |
Merge.kif 12446-12453 | |
| (=> (and (instance ?PROC BiologicalProcess) (experiencer ?PROC ?ORG)) (instance ?ORG Organism)) |
Merge.kif 10283-10287 | |
| (=> (and (instance ?PROC TherapeuticProcess) (patient ?PROC ?BIO)) (or (instance ?BIO Organism) (exists (?ORG) (and (instance ?ORG Organism) (part ?BIO ?ORG))))) |
Merge.kif 12394-12403 | |
| (=> (and (instance ?REM OrganismRemains) (holdsDuring (WhenFn ?REM) (part ?OBJ ?REM))) (exists (?ORG) (and (instance ?ORG Organism) (earlier (WhenFn ?ORG) (WhenFn ?REM)) (finishes (WhenFn ?REM) (WhenFn ?ORG)) (holdsDuring (WhenFn ?ORG) (part ?OBJ ?ORG))))) |
Mid-level-ontology.kif 45-56 | |
| (=> (and (instance ?VIRUS Virus) (inhabits ?VIRUS ?OBJ)) (instance ?OBJ Organism)) |
Merge.kif 14637-14641 | |
| (=> (attribute ?D Dorsal) (exists (?O) (and (or (instance ?O Organism) (instance ?O BodyPart)) (not (and (instance ?O Organism) (instance ?O BodyPart))) (part ?D ?O) (equal ?B (BackFn ?O)) (meetsSpatially ?B ?D)))) |
Anatomy.kif 2006-2020 | |
| (=> (attribute ?FOOD RawAttribute) (instance ?FOOD (FoodForFn Organism))) |
Food.kif 51-53 | |
| (=> (attribute ?O Mortal) (and (instance ?O Organism) (capability Death experiencer ?O))) |
Mid-level-ontology.kif 25929-25933 | |
| (=> (attribute ?ORG Greedy) (exists (?OBJ) (and (instance ?ORG Organism) (instance ?OBJ Physical) (desires ?ORG (possesses ?ORG ?OBJ)) (not (modalAttribute (possesses ?ORG ?OBJ) Necessity))))) |
Mid-level-ontology.kif 21401-21409 | |
| (=> (attribute ?V Ventral) (exists (?O ?F) (and (or (instance ?O Organism) (instance ?O BodyPart)) (not (and (instance ?O Organism) (instance ?O BodyPart))) (part ?V ?O) (equal ?F (FrontFn ?O)) (meetsSpatially ?F ?V)))) |
Anatomy.kif 2027-2041 | |
| (=> (diseaseMortality ?DISEASE ?RATE) (conditionalProbability (exists (?ORGANISM) (and (instance ?ORGANISM Organism) (attribute ?ORGANISM ?DISEASE))) (exists (?DEATH) (and (instance ?DEATH Death) (experiencer ?DEATH ?ORGANISM))) ?RATE)) |
WMD.kif 890-900 | |
| (=> (instance ?A Abducting) (exists (?BP ?ORGANISM ?TORSO ?MAF) (and (instance ?BP BodyPart) (instance ?ORGANISM Organism) (instance ?TORSO Torso) (not (equal ?BP ?TORSO)) (subProcess ?MAF MovingAwayFrom) (patient ?MAF ?BP) (patient ?MAF ?TORSO) (part ?BP ?ORGANISM) (part ?TORSO ?ORGANISM) (experiencer ?A Organism) (moves ?A ?BP)))) |
Anatomy.kif 2049-2064 |
|
| (=> (instance ?A Adducting) (exists (?BP ?ORGANISM ?TORSO ?MT) (and (instance ?BP BodyPart) (instance ?ORGANISM Organism) (instance ?TORSO Torso) (not (equal ?BP ?TORSO)) (instance ?MT MovingTowards) (subProcess ?MT ?A) (patient ?MT ?BP) (patient ?MT ?TORSO) (part ?BP ?ORGANISM) (part ?TORSO ?ORGANISM) (experiencer ?A Organism) (moves ?A ?BP)))) |
Anatomy.kif 2073-2089 |
|
| (=> (instance ?AGENT ChemicalAgent) (not (exists (?ORGANISM ?PROCESS ?SUBSTANCE) (and (instance ?ORGANISM Organism) (instance ?PROCESS BiologicalProcess) (instrument ?PROCESS ?ORGANISM) (result ?PROCESS ?SUBSTANCE) (copy ?SUBSTANCE ?AGENT))))) |
WMD.kif 464-473 | |
| (=> (instance ?ANAT AnatomicalStructure) (exists (?ORGANISM ?TIME) (and (instance ?ORGANISM Organism) (temporalPart ?TIME (WhenFn ?ORGANISM)) (holdsDuring ?TIME (part ?ANAT ?ORGANISM))))) |
Merge.kif 15074-15080 | |
| (=> (instance ?ATTACK BiochemicalAttack) (hasPurpose ?ATTACK (exists (?DAMAGE ?ORGANISM) (and (instance ?DAMAGE Damaging) (patient ?DAMAGE ?ORGANISM) (causes ?ATTACK ?DAMAGE) (instance ?ORGANISM Organism))))) |
WMD.kif 70-78 | |
| (=> (instance ?ATTR PsychologicalAttribute) (=> (and (holdsDuring ?TIME (attribute ?ORGANISM ?ATTR)) (instance ?ORGANISM Organism)) (holdsDuring ?TIME (attribute ?ORGANISM Living)))) |
Merge.kif 18457-18463 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
|