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 13386-13387
s__partition__3(s__Animal,s__Vertebrate,s__Invertebrate)

Merge.kif 13385-13385 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 13384-13384 Animal is a subclass of organism

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


s__initialPart(s__AnimalAnatomicalStructure,s__Animal)

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

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

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

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

Merge.kif 13295-13295 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 4875-4875 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 17775-17775 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 13441-13441 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 6132-6132 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 13438-13438 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 21971-21971 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 22014-22014 The number 1 argument of deathplace is an instance of animal
s__domain(s__detainee__m,n__2,s__Animal)

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

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

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

Mid-level-ontology.kif 18107-18107 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 18098-18098 The number 2 argument of productOfAnimal is a subclass of animal

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


( ! [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 9755-9762
( ! [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__patient(V__P,V__W))))
)
)

Mid-level-ontology.kif 2616-2629
( ! [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 9897-9902
( ! [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 9877-9882
( ! [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 2648-2653
No TPTP formula. May not be expressible in strict first order. Merge.kif 9853-9858
( ! [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 9693-9698
( ! [V__ANIMAL] :
   (s__instance(V__ANIMAL,s__Animal) =>
     ( ? [V__ATTR] :
       ((s__instance(V__ATTR,s__SexAttribute) &
           s__attribute(V__ANIMAL,V__ATTR))))
   )
)

Merge.kif 16782-16787
( ! [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 16705-16715
( ! [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 16380-16385

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 9393-9399 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 11362-11371
( ! [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 8540-8544
( ! [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 19049-19053
( ! [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 13532-13538
( ! [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 3225-3232
( ! [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 9805-9809
( ! [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 9799-9803
( ! [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 21907-21913
( ! [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 1301-1308
( ! [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__Object) &
           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 12478-12482
( ! [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 13900-13905
( ! [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 13742-13747
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3198-3206
( ! [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 2865-2870
( ! [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 4813-4822
( ! [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 5627-5636
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 10561-10566
( ! [V__CONFINE] :
   (s__instance(V__CONFINE,s__Confining) =>
     ( ? [V__AGENT] :
       ((s__instance(V__AGENT,s__Animal) &
           s__patient(V__CONFINE,V__AGENT))))
   )
)

Merge.kif 11308-11313
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4901-4910
No TPTP formula. May not be expressible in strict first order. Military.kif 62-71
( ! [V__GROUP] :
   (s__instance(V__GROUP,s__GroupOfAnimals) =>
     ( ! [V__MEMBER] :
       (s__member(V__MEMBER,V__GROUP)
       =>
       (s__instance(V__MEMBER,s__Animal) &
         ~(s__instance(V__MEMBER,s__Human)))))
   )
)

Mid-level-ontology.kif 7191-7198

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 19452-19452 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 19467-19467 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 19417-19417 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 19457-19457 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 19403-19403 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 19381-19381 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 19462-19462 Pear fruit 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners