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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Animal
Animal(animal)Animalia, Insessores, Mantophasmatodea, Mecoptera, abranchial, abranchiate, abranchious, acaudal, acaudate, acrodont, all-devouring, ametabolic, ametabolous, anguine, animal, animal_kingdom, animal_order, animate, animate_being, anthophagous, anthophilous, anurous, arenicolous, armored, armoured, autoecious, axenic, baccivorous, beakless, beast, beast_of_burden, big_game, biped, bipedal, bobtail, bobtailed, body, bone-covered, bottom-feeder, branchiate, broken, broken_in, brute, by-catch, bycatch, captive, carnivore, carpophagous, caudate, caudated...

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


s__documentation(s__Animal,s__ChineseLanguage,'"这是一种有真核 CellOrganism。 它们没有硬的细胞壁、 质体和光合色素。"')

chinese_format.kif 3392-3393
s__documentation(s__Animal,s__EnglishLanguage,'"An Organism with eukaryotic Cells, and lacking stiff cell walls, plastids, and photosynthetic pigments."')

Merge.kif 13796-13797
s__partition__3(s__Animal,s__Vertebrate,s__Invertebrate)

Merge.kif 13795-13795 Animal is exhaustively partitioned into vertebrate and invertebrate
s__instance(s__Organism,s__SetOrClass)

s__subclass(s__Animal,s__Organism)

s__instance(s__Animal,s__SetOrClass)

Merge.kif 13794-13794 Animal is a subclass of organism

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


s__initialPart(s__AnimalAnatomicalStructure,s__Animal)

Mid-level-ontology.kif 22811-22811 Every animal anatomical structure is initially part of a animal
s__initialPart(s__AnimalShell,s__Animal)

Mid-level-ontology.kif 10745-10745 Every animal shell is initially part of a animal
s__initialPart(s__Exoskeleton,s__Animal)

Mid-level-ontology.kif 10889-10889 Every exoskeleton is initially part of a animal
s__initialPart(s__Hair,s__Animal)

Mid-level-ontology.kif 11000-11000 Every hair is initially part of a animal
s__partition__5(s__Organism,s__Animal,s__Plant,s__Fungus,s__Microorganism)

Merge.kif 13705-13705 Organism is exhaustively partitioned into animal, plant, fungus, and microorganism
s__instance(s__Biped,s__SetOrClass)

s__subclass(s__Biped,s__Animal)

s__instance(s__Animal,s__SetOrClass)

Mid-level-ontology.kif 4280-4280 Biped is a subclass of animal
s__instance(s__Animal,s__SetOrClass)

s__instance(s__DomesticAnimal,s__SetOrClass)

s__subclass(s__DomesticAnimal,s__Animal)

Mid-level-ontology.kif 19021-19021 Domestic animal is a subclass of animal
s__instance(s__Invertebrate,s__SetOrClass)

s__subclass(s__Invertebrate,s__Animal)

s__instance(s__Animal,s__SetOrClass)

Merge.kif 13851-13851 Invertebrate is a subclass of animal
s__instance(s__Locust,s__SetOrClass)

s__subclass(s__Locust,s__Animal)

s__instance(s__Animal,s__SetOrClass)

Geography.kif 6324-6324 Locust is a subclass of animal
s__instance(s__Animal,s__SetOrClass)

s__subclass(s__Vertebrate,s__Animal)

s__instance(s__Vertebrate,s__SetOrClass)

Merge.kif 13848-13848 Vertebrate is a subclass of animal
s__termFormat(s__ChineseLanguage,s__Animal,'"动物"')

chinese_format.kif 972-972
s__termFormat(s__EnglishLanguage,s__Animal,'"animal"')

english_format.kif 1156-1156

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


s__domain(s__birthplace__m,n__1,s__Animal)

Mid-level-ontology.kif 23277-23277 The number 1 argument of birthplace is an instance of animal
s__domain(s__burialplace__m,n__1,s__Animal)

Biography.kif 92-92 The number 1 argument of burialplace is an instance of animal
s__domain(s__deathplace__m,n__1,s__Animal)

Mid-level-ontology.kif 23321-23321 The number 1 argument of deathplace is an instance of animal
s__domain(s__detainee__m,n__2,s__Animal)

Mid-level-ontology.kif 6421-6421 The number 2 argument of detainee is an instance of animal
s__domain(s__grasps__m,n__1,s__Animal)

Merge.kif 11002-11002 The number 1 argument of grasps is an instance of animal
s__domain(s__wears__m,n__1,s__Animal)

Merge.kif 15255-15255 The number 1 argument of wears is an instance of animal
s__domainSubclass(s__meatOfAnimal__m,n__2,s__Animal)

Mid-level-ontology.kif 19350-19350 The number 2 argument of meat of animal is a subclass of animal
s__domainSubclass(s__productOfAnimal__m,n__2,s__Animal)

Mid-level-ontology.kif 19341-19341 The number 2 argument of productOfAnimal is a subclass of animal

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


( ! [V__P,V__A,V__S,V__BPC,V__SO] :
   (((s__instance(V__P,s__Object) &
         s__instance(V__S,s__AntiSymmetricPositionalAttribute) &
         s__subclass(V__BPC,s__BodyPart) &
         s__instance(V__SO,s__AntiSymmetricPositionalAttribute))
       =>
       (((s__instance(V__A,s__Animal) &
             s__instance(V__P,s__BodySideFn(V__S,V__BPC))
         &
         s__contraryAttribute__2(V__S,V__SO)
       &
       s__attribute(V__A,s__Healthy))
     =>
     (( ? [V__PO] :
         ((s__instance(V__PO,s__Object) &
             (s__instance(V__PO,s__BodySideFn(V__SO,V__BPC))
           &
           s__orientation(V__P,V__PO,V__S)))))))))
)
)

Merge.kif 14324-14335
( ! [V__A,V__S] :
   (((s__instance(V__A,s__Animal) &
         s__instance(V__S,s__AnimalShell) &
         s__part(V__S,V__A))
     =>
     ((s__instance(V__A,s__Invertebrate) |
         s__instance(V__A,s__Reptile))))
   )
)

Mid-level-ontology.kif 10747-10754
( ! [V__ANI,V__D] :
   (((s__instance(V__ANI,s__Animal) &
         s__instance(V__D,s__DiseaseOrSyndrome) &
         ~(s__attribute(V__ANI,V__D)))
     =>
     (( ? [V__P, V__W] :
         ((s__instance(V__P,s__BiologicalProcess) &
             s__instance(V__P,s__Removing) &
             s__origin(V__P,V__ANI)
           &
           s__instance(V__W,s__Sewage) &
           s__agent(V__P,V__ANI)
         &
         s__objectTransferred(V__P,V__W))))))
)
)

Mid-level-ontology.kif 2100-2113
( ! [V__SKELETON,V__ANIMAL] :
   (((s__instance(V__ANIMAL,s__Animal) &
         s__instance(V__SKELETON,s__Exoskeleton) &
         s__part(V__SKELETON,V__ANIMAL))
     =>
     (s__instance(V__ANIMAL,s__Invertebrate)))
   )
)

Mid-level-ontology.kif 10891-10896
( ! [V__SKELETON,V__ANIMAL] :
   (((s__instance(V__ANIMAL,s__Animal) &
         s__instance(V__SKELETON,s__Skeleton) &
         s__part(V__SKELETON,V__ANIMAL))
     =>
     (s__instance(V__ANIMAL,s__Vertebrate)))
   )
)

Mid-level-ontology.kif 10871-10876
( ! [V__A,V__C] :
   (((s__instance(V__C,s__Chest) &
         s__instance(V__A,s__Animal) &
         s__instance(V__C,V__A)
       &
       s__part(V__C,V__A))
   =>
   (( ? [V__T] :
       ((s__instance(V__T,s__Torso) &
           s__part(V__C,V__T)
         &
         s__part(V__T,V__A))))))
)
)

Mid-level-ontology.kif 10484-10494
( ! [V__FISHING,V__TARGET] :
   (((s__instance(V__FISHING,s__Fishing) &
         s__patient(V__FISHING,V__TARGET)
       &
       s__instance(V__TARGET,s__Animal))
     =>
     (s__instance(V__TARGET,s__Fish)))
   )
)

Geography.kif 2670-2675
No TPTP formula. May not be expressible in strict first order. Merge.kif 10096-10101
( ! [V__A,V__S] :
   (((s__instance(V__S,s__NervousSystem) &
         s__part(V__S,V__A)
       &
       s__instance(V__A,s__Animal))
     =>
     (s__instance(V__A,s__Vertebrate)))
   )
)

Mid-level-ontology.kif 10684-10689
( ! [V__ANIMAL] :
   ((s__instance(V__ANIMAL,s__Animal) =>
       (( ? [V__ATTR] :
           ((s__instance(V__ATTR,s__SexAttribute) &
               s__attribute(V__ANIMAL,V__ATTR))))))
   )
)

Merge.kif 17405-17410
( ! [V__ANIMAL] :
   ((s__instance(V__ANIMAL,s__Animal) =>
       ((( ? [V__MOTION] :
             ((s__instance(V__MOTION,s__BodyMotion) &
                 s__agent(V__MOTION,V__ANIMAL))))
         |
         ( ? [V__ATTR] :
           ((s__instance(V__ATTR,s__BodyPosition) &
               s__attribute(V__ANIMAL,V__ATTR)))))))
)
)

Merge.kif 17328-17338
( ! [V__OBJ] :
   ((s__instance(V__OBJ,s__Object) =>
       ((s__instance(V__OBJ,s__FoodForFn(s__Animal))
         =>
         (( ? [V__ATTR] :
             ((s__instance(V__ATTR,s__TasteAttribute) &
                 s__attribute(V__OBJ,V__ATTR))))))))
)
)

Merge.kif 16909-16914

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


( ! [V__VERT] :
   (((s__instance(V__VERT,s__Vertebrate) =>
         ( ? [V__SPINE] :
           ((s__instance(V__VERT,s__Animal) &
               s__component(V__SPINE,V__VERT)
             &
             s__instance(V__SPINE,s__SpinalColumn)))))
     &
     (( ? [V__SPINE] :
         ((s__instance(V__VERT,s__Animal) &
             s__component(V__SPINE,V__VERT)
           &
           s__instance(V__SPINE,s__SpinalColumn))))
     =>
     s__instance(V__VERT,s__Vertebrate)))
)
)

Mid-level-ontology.kif 10210-10216 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
( ! [V__ANIMAL,V__ACT] :
   (((s__instance(V__ACT,s__Surgery) &
         s__patient(V__ACT,V__ANIMAL))
     =>
     (( ? [V__SUBACT] :
         ((s__instance(V__SUBACT,s__Cutting) &
             s__instance(V__ANIMAL,s__Animal) &
             s__patient(V__SUBACT,V__ANIMAL)
           &
           s__subProcess(V__SUBACT,V__ACT))))))
)
)

Merge.kif 11678-11687
( ! [V__A,V__B] :
   (((s__instance(V__B,s__Bathing) &
         s__patient(V__B,V__A))
     =>
     (s__instance(V__A,s__Animal)))
   )
)

Mid-level-ontology.kif 8441-8445
( ! [V__ANIMAL,V__BLEED] :
   ((s__instance(V__ANIMAL,s__Agent) =>
       (((s__instance(V__BLEED,s__Bleeding) &
             s__experiencer(V__BLEED,V__ANIMAL))
         =>
         (s__instance(V__ANIMAL,s__Animal)))))
   )
)

Mid-level-ontology.kif 20354-20358
( ! [V__CARNIVORE,V__EAT,V__PREY] :
   (((s__instance(V__CARNIVORE,s__Carnivore) &
         s__instance(V__EAT,s__Eating) &
         s__agent(V__EAT,V__CARNIVORE)
       &
       s__patient(V__EAT,V__PREY))
   =>
   (s__instance(V__PREY,s__Animal)))
)
)

Merge.kif 13951-13957
( ! [V__P,V__D] :
   ((s__instance(V__P,s__Process) =>
       (((s__instance(V__D,s__AnimalPoweredDevice) &
             s__instrument(V__P,V__D))
         =>
         (( ? [V__A] :
             ((s__instance(V__A,s__Animal) &
                 s__instrument(V__P,V__A))))))))
)
)

Mid-level-ontology.kif 2704-2711
( ! [V__A,V__F] :
   (((s__instance(V__F,s__Feeding) &
         s__destination(V__F,V__A))
     =>
     (s__instance(V__A,s__Animal)))
   )
)

Mid-level-ontology.kif 10798-10802
( ! [V__O,V__F] :
   (((s__instance(V__F,s__Feeding) &
         s__patient(V__F,V__O))
     =>
     (s__instance(V__O,s__FoodForFn(s__Animal))))
)
)

Mid-level-ontology.kif 10792-10796
( ! [V__A,V__L] :
   ((s__instance(V__A,s__Agent) =>
       (((s__instance(V__L,s__LayingEggs) &
             s__experiencer(V__L,V__A))
         =>
         ((s__instance(V__A,s__Animal) &
             s__attribute(V__A,s__Female))))))
   )
)

Mid-level-ontology.kif 23213-23219
( ! [V__AGENT,V__LANG,V__PROC] :
   (((s__instance(V__AGENT,s__Agent) &
         s__instance(V__PROC,s__Process))
       =>
       (((s__instance(V__LANG,s__AnimalLanguage) &
             s__agent(V__PROC,V__AGENT)
           &
           s__instrument(V__PROC,V__LANG))
       =>
       ((s__instance(V__AGENT,s__Animal) &
           ~(s__instance(V__AGENT,s__Human)))))))
)
)

Merge.kif 1335-1342
( ! [V__ORG] :
   (((s__instance(V__ORG,s__Organization) &
         s__attribute(V__ORG,s__AgricultureForestryFishingAndHunting))
       =>
       (( ? [V__EV, V__MEM] :
           ((s__instance(V__MEM,s__Agent) &
               (s__member(V__MEM,V__ORG)
               &
               s__agent(V__EV,V__MEM)
             &
             ( ? [V__THING, V__EV2, V__MEM2] :
               ((s__instance(V__MEM2,s__Agent) &
                   ((s__instance(V__EV,s__Killing) |
                       s__instance(V__EV,s__Maintaining))
                     &
                     s__patient(V__EV,V__THING)
                   &
                   (s__instance(V__THING,s__Animal) |
                     s__instance(V__THING,s__Plant))
                   &
                   ~(s__instance(V__THING,s__Human))
                   &
                   s__member(V__MEM2,V__ORG)
                 &
                 s__instance(V__EV2,s__Selling) &
                 s__agent(V__EV2,V__MEM2)
               &
               s__patient(V__EV2,V__THING)))))))))))
)
)

naics.kif 50-72
( ! [V__ORG] :
   (((s__instance(V__ORG,s__Organization) &
         s__attribute(V__ORG,s__FoodAndBeverageStores))
       =>
       (( ? [V__EV, V__MEM] :
           ((s__instance(V__MEM,s__Process) &
               (s__member(V__MEM,V__ORG)
               &
               s__agent(V__MEM,V__EV)
             &
             ( ? [V__THING] :
               ((s__instance(V__EV,s__Selling) &
                   (s__instance(V__THING,s__FoodForFn(s__Animal))
                   |
                   s__instance(V__THING,s__Beverage))
                 &
                 s__patient(V__EV,V__THING))))))))))
)
)

naics.kif 7326-7340
( ! [V__AGENT,V__PERCEPT] :
   ((s__instance(V__AGENT,s__Agent) =>
       (((s__instance(V__PERCEPT,s__Perception) &
             s__agent(V__PERCEPT,V__AGENT))
         =>
         (s__instance(V__AGENT,s__Animal)))))
   )
)

Merge.kif 12832-12836
( ! [V__ANIMAL,V__STRUCTURE] :
   (((s__instance(V__STRUCTURE,s__AnimalAnatomicalStructure) &
         s__instance(V__ANIMAL,s__Organism) &
         s__part(V__STRUCTURE,V__ANIMAL))
     =>
     (s__instance(V__ANIMAL,s__Animal)))
   )
)

Merge.kif 14345-14350
( ! [V__SUBSTANCE,V__ANIMAL] :
   (((s__instance(V__SUBSTANCE,s__AnimalSubstance) &
         s__instance(V__ANIMAL,s__Organism) &
         s__part(V__SUBSTANCE,V__ANIMAL))
     =>
     (s__instance(V__ANIMAL,s__Animal)))
   )
)

Merge.kif 14161-14166
( ! [V__VO] :
   (((s__instance(V__VO,s__VitalOrgan) &
         ~(s__part(V__VO,V__H)))
     =>
     (~(( ? [V__H] :
           ((s__instance(V__H,s__Animal) &
               s__attribute(V__H,s__Living)))))))
   )
)

Mid-level-ontology.kif 11053-11062
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2677-2685
( ! [V__AD] :
   ((s__instance(V__AD,s__AnimalDoll) =>
       (( ? [V__A] :
           ((s__instance(V__A,s__Animal) &
               s__represents(V__AD,V__A))))))
   )
)

Mid-level-ontology.kif 2347-2352
( ! [V__AG,V__H] :
   ((s__instance(V__H,s__Agent) =>
       ((s__instance(V__AG,s__AnimalGuiding) =>
           (( ? [V__A, V__C] :
               ((s__instance(V__A,s__Animal) &
                   s__agent(V__AG,V__H)
                 &
                 s__instance(V__C,s__Carrying) &
                 s__agent(V__C,V__A)
               &
               s__objectTransferred(V__C,V__H)
             &
             s__instrument(V__AG,V__A))))))))
)
)

Mid-level-ontology.kif 4218-4227
( ! [V__B] :
   ((s__instance(V__B,s__Burrow) =>
       (( ? [V__P, V__A] :
           ((s__instance(V__P,s__Process) &
               s__agent(V__P,V__A)
             &
             s__instance(V__A,s__Animal) &
             ~(s__instance(V__A,s__Human))
             &
             s__result(V__P,V__B))))))
)
)

Geography.kif 5813-5822
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1345-1353
( ! [V__CARRY] :
   ((s__instance(V__CARRY,s__Carrying) =>
       (( ? [V__ANIMAL] :
           ((s__instance(V__ANIMAL,s__Animal) &
               s__instrument(V__CARRY,V__ANIMAL))))))
   )
)

Merge.kif 10877-10882
No TPTP formula. May not be expressible in strict first order. Merge.kif 15245-15252
( ! [V__CONFINE] :
   ((s__instance(V__CONFINE,s__Confining) =>
       (( ? [V__AGENT] :
           ((s__instance(V__AGENT,s__Animal) &
               s__patient(V__CONFINE,V__AGENT))))))
   )
)

Merge.kif 11624-11629
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4306-4315

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


s__industryProductType(s__FoodManufacturing,s__FoodForFn(s__Animal))

Economy.kif 1748-1748 Food for animal is an industry product type of food manufacturing
s__instance(s__Apple,s__SetOrClass)

s__subclass(s__Apple,s__FoodForFn(s__Animal))

Mid-level-ontology.kif 20776-20776 Apple is a subclass of food for animal
s__subclass(s__Avocado,s__FoodForFn(s__Animal))

s__instance(s__Avocado,s__SetOrClass)

Mid-level-ontology.kif 20791-20791 Avocado is a subclass of food for animal
s__instance(s__Coconut,s__SetOrClass)

s__subclass(s__Coconut,s__FoodForFn(s__Animal))

Mid-level-ontology.kif 20713-20713 Coconut is a subclass of food for animal
s__subclass(s__DateFruit,s__FoodForFn(s__Animal))

s__instance(s__DateFruit,s__SetOrClass)

Mid-level-ontology.kif 20781-20781 Date fruit is a subclass of food for animal
s__instance(s__Honey,s__SetOrClass)

s__subclass(s__Honey,s__FoodForFn(s__Animal))

Mid-level-ontology.kif 20699-20699 Honey is a subclass of food for animal
s__subclass(s__LemonFruit,s__FoodForFn(s__Animal))

s__instance(s__LemonFruit,s__SetOrClass)

Economy.kif 3947-3947 Lemon fruit is a subclass of food for animal
s__instance(s__OrangeFruit,s__SetOrClass)

s__subclass(s__OrangeFruit,s__FoodForFn(s__Animal))

Economy.kif 3954-3954 Orange fruit is a subclass of food for animal
s__instance(s__Pea,s__SetOrClass)

s__subclass(s__Pea,s__FoodForFn(s__Animal))

Mid-level-ontology.kif 20680-20680 Pea is a subclass of food for animal
s__instance(s__PearFruit,s__SetOrClass)

s__subclass(s__PearFruit,s__FoodForFn(s__Animal))

Mid-level-ontology.kif 20786-20786 Pear fruit is a subclass of food for animal
s__subclass(s__WineGrape,s__FoodForFn(s__Animal))

s__instance(s__WineGrape,s__SetOrClass)

Food.kif 1102-1102 Wine grape is a subclass of food for animal


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 3.0 is open source software produced by Articulate Software and its partners