Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Animal
Animal(動物)

appearance as argument number 1
-------------------------


(documentation Animal ChineseLanguage "这是一种有真核 Cell 的 Organism。 它们没有硬的细胞壁、 质体和光合色素。") Merge.kif 14508-14509
(documentation Animal EnglishLanguage "An Organism with eukaryotic Cells, and lacking stiff cell walls, plastids, and photosynthetic pigments.") Merge.kif 14506-14507
(partition Animal Vertebrate Invertebrate) Merge.kif 14505-14505 partition 動物, 脊椎動物 and 無脊椎動物
(subclass Animal Organism) Merge.kif 14504-14504 subclass 動物 and 物

appearance as argument number 2
-------------------------


(initialPart AnimalAnatomicalStructure Animal) Mid-level-ontology.kif 21633-21633 initialPart AnimalAnatomicalStructure and 動物
(initialPart AnimalShell Animal) Mid-level-ontology.kif 9750-9750 initialPart AnimalShell and 動物
(initialPart Exoskeleton Animal) Mid-level-ontology.kif 9892-9892 initialPart Exoskeleton and 動物
(initialPart Hair Animal) Mid-level-ontology.kif 9955-9955 initialPart Hair and 動物
(partition Organism Animal Plant Fungus Microorganism) Merge.kif 14395-14395 partition 物, 動物, 植物, 菌類 and 微生物
(subclass Biped Animal) Mid-level-ontology.kif 4880-4880 subclass Biped and 動物
(subclass DomesticAnimal Animal) Mid-level-ontology.kif 17773-17773 subclass DomesticAnimal and 動物
(subclass Invertebrate Animal) Merge.kif 14569-14569 subclass 無脊椎動物 and 動物
(subclass Locust Animal) Geography.kif 6116-6116 subclass Locust and 動物
(subclass Vertebrate Animal) Merge.kif 14565-14565 subclass 脊椎動物 and 動物
(termFormat ChineseLanguage Animal "动物") chinese_format.kif 972-972 termFormat ChineseLanguage, 動物 and "动物"
(termFormat EnglishLanguage Animal "animal") english_format.kif 982-982 termFormat EnglishLanguage, 動物 and "animal"
(termFormat JapaneseLanguage Animal "動物") english_format.kif 983-983 termFormat JapaneseLanguage, 動物 and "動物"

appearance as argument number 3
-------------------------


(domain birthplace 1 Animal) Mid-level-ontology.kif 21958-21958 domain birthplace, 1 and 動物
(domain burialplace 1 Animal) Biography.kif 92-92 domain burialplace, 1 and 動物
(domain deathplace 1 Animal) Mid-level-ontology.kif 22001-22001 domain deathplace, 1 and 動物
(domain detainee 2 Animal) Mid-level-ontology.kif 6444-6444 domain detainee, 2 and 動物
(domain grasps 1 Animal) Merge.kif 11436-11436 domain grasps, 1 and 動物
(domain wears 1 Animal) Merge.kif 16077-16077 domain wears, 1 and 動物
(domainSubclass meatOfAnimal 2 Animal) Mid-level-ontology.kif 18105-18105 domainSubclass meatOfAnimal, 2 and 動物
(domainSubclass productOfAnimal 2 Animal) Mid-level-ontology.kif 18096-18096 domainSubclass productOfAnimal, 2 and 動物

antecedent
-------------------------


(=>
    (and
        (instance ?A Animal)
        (instance ?S AnimalShell)
        (part ?S ?A))
    (or
        (instance ?A Invertebrate)
        (instance ?A Reptile)))		 Mid-level-ontology.kif 9752-9759
(=>
    (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)
            (patient ?P ?W))))		 Mid-level-ontology.kif 2621-2634
(=>
    (and
        (instance ?ANIMAL Animal)
        (instance ?SKELETON Exoskeleton)
        (part ?SKELETON ?ANIMAL))
    (instance ?ANIMAL Invertebrate))		 Mid-level-ontology.kif 9894-9899
(=>
    (and
        (instance ?ANIMAL Animal)
        (instance ?SKELETON Skeleton)
        (part ?SKELETON ?ANIMAL))
    (instance ?ANIMAL Vertebrate))		 Mid-level-ontology.kif 9874-9879
(=>
    (and
        (instance ?FISHING Fishing)
        (patient ?FISHING ?TARGET)
        (instance ?TARGET Animal))
    (instance ?TARGET Fish))		 Geography.kif 2636-2641
(=>
    (and
        (instance ?PROC IntentionalProcess)
        (agent ?PROC ?HUMAN)
        (instance ?HUMAN Animal))
    (holdsDuring
        (WhenFn ?PROC)
        (attribute ?HUMAN Awake)))		 Merge.kif 10540-10545
(=>
    (and
        (instance ?S NervousSystem)
        (part ?S ?A)
        (instance ?A Animal))
    (instance ?A Vertebrate))		 Mid-level-ontology.kif 9690-9695
(=>
    (instance ?ANIMAL Animal)
    (exists (?ATTR)
        (and
            (instance ?ATTR SexAttribute)
            (attribute ?ANIMAL ?ATTR))))		 Merge.kif 18538-18543
(=>
    (instance ?ANIMAL Animal)
    (or
        (exists (?MOTION)
            (and
                (instance ?MOTION BodyMotion)
                (agent ?MOTION ?ANIMAL)))
        (exists (?ATTR)
            (and
                (instance ?ATTR BodyPosition)
                (attribute ?ANIMAL ?ATTR)))))		 Merge.kif 18449-18459
(=>
    (instance ?OBJ
        (FoodForFn Animal))
    (exists (?ATTR)
        (and
            (instance ?ATTR TasteAttribute)
            (attribute ?OBJ ?ATTR))))		 Merge.kif 18055-18060

consequent
-------------------------


(<=>
    (instance ?VERT Vertebrate)
    (exists (?SPINE)
        (and
            (instance ?VERT Animal)
            (component ?SPINE ?VERT)
            (instance ?SPINE SpinalColumn))))		 Mid-level-ontology.kif 9390-9396 instance 微粒子オブジェクト and 脊椎動物 微粒子オブジェクト instance 微粒子オブジェクト and 動物 component 微粒子オブジェクト and 微粒子オブジェクト instance 微粒子オブジェクト and SpinalColumn
(=>
    (and
        (instance ?ACT Surgery)
        (patient ?ACT ?ANIMAL))
    (exists (?SUBACT)
        (and
            (instance ?SUBACT Cutting)
            (instance ?ANIMAL Animal)
            (patient ?SUBACT ?ANIMAL)
            (subProcess ?SUBACT ?ACT))))		 Merge.kif 12193-12202
(=>
    (and
        (instance ?B Bathing)
        (patient ?B ?A))
    (instance ?A Animal))		 Mid-level-ontology.kif 8537-8541
(=>
    (and
        (instance ?BLEED Bleeding)
        (experiencer ?BLEED ?ANIMAL))
    (instance ?ANIMAL Animal))		 Mid-level-ontology.kif 19037-19041
(=>
    (and
        (instance ?CARNIVORE Carnivore)
        (instance ?EAT Eating)
        (agent ?EAT ?CARNIVORE)
        (patient ?EAT ?PREY))
    (instance ?PREY Animal))		 Merge.kif 14688-14694
(=>
    (and
        (instance ?D AnimalPoweredDevice)
        (instrument ?P ?D))
    (exists (?A)
        (and
            (instance ?A Animal)
            (instrument ?P ?A))))		 Mid-level-ontology.kif 3230-3237
(=>
    (and
        (instance ?F Feeding)
        (destination ?F ?A))
    (instance ?A Animal))		 Mid-level-ontology.kif 9802-9806
(=>
    (and
        (instance ?F Feeding)
        (patient ?F ?O))
    (instance ?O
        (FoodForFn Animal)))		 Mid-level-ontology.kif 9796-9800
(=>
    (and
        (instance ?L LayingEggs)
        (experiencer ?L ?A))
    (and
        (instance ?A Animal)
        (attribute ?A Female)))		 Mid-level-ontology.kif 21894-21900
(=>
    (and
        (instance ?LANG AnimalLanguage)
        (agent ?PROC ?AGENT)
        (instrument ?PROC ?LANG))
    (and
        (instance ?AGENT Animal)
        (not
            (instance ?AGENT Human))))		 Merge.kif 1453-1460
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG AgricultureForestryFishingAndHunting))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?EV ?MEM)
            (exists (?THING ?EV2 ?MEM2)
                (and
                    (or
                        (instance ?EV Killing)
                        (instance ?EV Maintaining))
                    (patient ?EV ?THING)
                    (or
                        (instance ?THING Animal)
                        (instance ?THING Plant))
                    (not
                        (instance ?THING Human))
                    (member ?MEM2 ?ORG)
                    (instance ?EV2 Selling)
                    (agent ?EV2 ?MEM2)
                    (patient ?EV2 ?THING))))))		 naics.kif 50-72
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG FoodAndBeverageStores))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING)
                (and
                    (instance ?EV Selling)
                    (or
                        (instance ?THING
                            (FoodForFn Animal))
                        (instance ?THING Beverage))
                    (patient ?EV ?THING))))))		 naics.kif 7326-7340
(=>
    (and
        (instance ?PERCEPT Perception)
        (agent ?PERCEPT ?AGENT))
    (instance ?AGENT Animal))		 Merge.kif 13462-13466
(=>
    (and
        (instance ?STRUCTURE AnimalAnatomicalStructure)
        (instance ?ANIMAL Organism)
        (part ?STRUCTURE ?ANIMAL))
    (instance ?ANIMAL Animal))		 Merge.kif 15126-15131
(=>
    (and
        (instance ?SUBSTANCE AnimalSubstance)
        (instance ?ANIMAL Organism)
        (part ?SUBSTANCE ?ANIMAL))
    (instance ?ANIMAL Animal))		 Merge.kif 14945-14950
(=>
    (instance ?AC AnimalController)
    (hasPurpose ?AC
        (exists (?G ?A)
            (and
                (instance ?G Guiding)
                (instrument ?G ?AC)
                (instance ?A Animal)
                (patient ?G ?A)))))		 Mid-level-ontology.kif 3203-3211
(=>
    (instance ?AD AnimalDoll)
    (exists (?A)
        (and
            (instance ?A Animal)
            (represents ?AD ?A))))		 Mid-level-ontology.kif 2870-2875
(=>
    (instance ?AG AnimalGuiding)
    (exists (?A ?C)
        (and
            (instance ?A Animal)
            (agent ?AG ?H)
            (instance ?C Carrying)
            (agent ?C ?A)
            (objectTransferred ?C ?H)
            (instrument ?AG ?A))))		 Mid-level-ontology.kif 4818-4827
(=>
    (instance ?B Burrow)
    (exists (?P ?A)
        (and
            (instance ?P Process)
            (agent ?P ?A)
            (instance ?A Animal)
            (not
                (instance ?A Human))
            (result ?P ?B))))		 Geography.kif 5612-5621
(=>
    (instance ?C CSGas)
    (hasPurpose ?C
        (exists (?INJ ?ORG)
            (and
                (instance ?INJ Injuring)
                (instrument ?INJ ?C)
                (patient ?INJ ?ORG)
                (instance ?ORG Animal)))))		 MilitaryDevices.kif 1344-1352
(=>
    (instance ?CARRY Carrying)
    (exists (?ANIMAL)
        (and
            (instance ?ANIMAL Animal)
            (instrument ?CARRY ?ANIMAL))))		 Merge.kif 11302-11307
(=>
    (instance ?CONFINE Confining)
    (exists (?AGENT)
        (and
            (instance ?AGENT Animal)
            (patient ?CONFINE ?AGENT))))		 Merge.kif 12131-12136
(=>
    (instance ?D Dish)
    (hasPurpose ?D
        (exists (?F ?E)
            (and
                (instance ?E Eating)
                (patient ?E ?F)
                (patient ?E ?D)
                (instance ?F
                    (FoodForFn Animal))
                (located ?F ?D)))))		 Mid-level-ontology.kif 4906-4915
(=>
    (instance ?FD FoodDistributionOperation)
    (exists (?FOOD ?CA)
        (and
            (instance ?FOOD
                (FoodForFn Animal))
            (instance ?CA CognitiveAgent)
            (patient ?FD ?FOOD)
            (destination ?FD ?CA)
            (holdsDuring
                (ImmediateFutureFn
                    (WhenFn ?FD))
                (possesses ?CA ?FOOD)))))		 Military.kif 62-71
(=>
    (instance ?GROUP GroupOfAnimals)
    (forall (?MEMBER)
        (=>
            (member ?MEMBER ?GROUP)
            (and
                (instance ?MEMBER Animal)
                (not
                    (instance ?MEMBER Human))))))		 Mid-level-ontology.kif 7189-7196

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


(industryProductType FoodManufacturing
    (FoodForFn Animal))		 Economy.kif 1748-1748 industryProductType FoodManufacturing and FoodForFn 動物
(subclass Apple
    (FoodForFn Animal))		 Mid-level-ontology.kif 19439-19439 subclass Apple and FoodForFn 動物
(subclass Avocado
    (FoodForFn Animal))		 Mid-level-ontology.kif 19454-19454 subclass Avocado and FoodForFn 動物
(subclass Coconut
    (FoodForFn Animal))		 Mid-level-ontology.kif 19404-19404 subclass Coconut and FoodForFn 動物
(subclass DateFruit
    (FoodForFn Animal))		 Mid-level-ontology.kif 19444-19444 subclass DateFruit and FoodForFn 動物
(subclass Honey
    (FoodForFn Animal))		 Mid-level-ontology.kif 19390-19390 subclass Honey and FoodForFn 動物
(subclass LemonFruit
    (FoodForFn Animal))		 Economy.kif 3947-3947 subclass LemonFruit and FoodForFn 動物
(subclass OrangeFruit
    (FoodForFn Animal))		 Economy.kif 3954-3954 subclass OrangeFruit and FoodForFn 動物
(subclass Pea
    (FoodForFn Animal))		 Mid-level-ontology.kif 19368-19368 subclass Pea and FoodForFn 動物
(subclass PearFruit
    (FoodForFn Animal))		 Mid-level-ontology.kif 19449-19449 subclass PearFruit and FoodForFn 動物


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners