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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Animal
Animalحَيَوَان, Animal, Animale, 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...

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


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

Merge.kif 14450-14451
s__documentation(s__Animal,s__EnglishLanguage,'An Organism with eukaryotic Cells, and lacking stiff cell walls, plastids, and photosynthetic pigments.')

Merge.kif 14448-14449
s__partition_3(s__Animal,s__Vertebrate,s__Invertebrate)

Merge.kif 14447-14447
s__instance(s__Organism,s__SetOrClass)

Merge.kif 14446-14446

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


s__initialPart(s__AnimalAnatomicalStructure,s__Animal)

Mid-level-ontology.kif 21602-21602
s__initialPart(s__AnimalShell,s__Animal)

Mid-level-ontology.kif 9750-9750
s__initialPart(s__Exoskeleton,s__Animal)

Mid-level-ontology.kif 9892-9892
s__initialPart(s__Hair,s__Animal)

Mid-level-ontology.kif 9955-9955
s__partition_5(s__Organism,s__Animal,s__Plant,s__Fungus,s__Microorganism)

Merge.kif 14337-14337
s__instance(s__Biped,s__SetOrClass)

Mid-level-ontology.kif 4880-4880
s__instance(s__DomesticAnimal,s__SetOrClass)

Mid-level-ontology.kif 17715-17715
s__instance(s__Invertebrate,s__SetOrClass)

Merge.kif 14511-14511
s__subclass(s__Locust,s__Animal)

Geography.kif 6117-6117
s__subclass(s__Vertebrate,s__Animal)

Merge.kif 14507-14507
s__termFormat(s__ChineseLanguage,s__Animal,'动物')

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

english_format.kif 659-659
s__termFormat(s__FrenchLanguage,s__Animal,'animal')

french_format.kif 649-649
s__termFormat(s__Hindi,s__Animal,'pashu')

terms-hindi.txt 180-180
s__termFormat(s__ItalianLanguage,s__Animal,'Animale')

terms-it.txt 181-181
s__termFormat(s__PortugueseLanguage,s__Animal,'Animal')

portuguese_format.kif 601-601
s__termFormat(s__ar__m,s__Animal,'حَيَوَان')

arabic_format.kif 385-385
s__termFormat(s__cb__m,s__Animal,'hayup')

terms-cb.txt 185-185
s__termFormat(s__cz__m,s__Animal,'animal')

terms-cz.txt 217-217
s__termFormat(s__tg__m,s__Animal,'hayop')

terms-tg.txt 184-184

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


s__domain(s__birthplace__m,1,s__Animal)

Mid-level-ontology.kif 21927-21927
s__domain(s__burialplace__m,1,s__Animal)

Biography.kif 92-92
s__domain(s__deathplace__m,1,s__Animal)

Mid-level-ontology.kif 21970-21970
s__domain(s__detainee__m,2,s__Animal)

Mid-level-ontology.kif 6444-6444
s__domain(s__grasps__m,1,s__Animal)

Merge.kif 11378-11378
s__domain(s__wears__m,1,s__Animal)

Merge.kif 16025-16025
s__domainSubclass(s__meatOfAnimal__m,2,s__Animal)

Mid-level-ontology.kif 18047-18047
s__domainSubclass(s__productOfAnimal__m,2,s__Animal)

Mid-level-ontology.kif 18038-18038

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 9752-9759
( ! [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 2621-2634
( ! [V__ANIMAL,V__SKELETON] :
   ((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 9894-9899
( ! [V__ANIMAL,V__SKELETON] :
   ((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 9874-9879
( ! [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 2636-2641
No TPTP formula. May not be expressible in strict first order. Merge.kif 10482-10487
( ! [V__S,V__A] :
   ((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 9690-9695
( ! [V__ANIMAL] :
   (s__instance(V__ANIMAL,s__Animal) =>
     (? [V__ATTR] :
       (s__instance(V__ATTR,s__SexAttribute) &
         s__attribute(V__ANIMAL,V__ATTR))))
)

Merge.kif 18486-18491
( ! [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 18397-18407
( ! [V__OBJ] :
   (s__instance(V__OBJ,s__FoodForFn(s__Animal))
   =>
   (? [V__ATTR] :
     (s__instance(V__ATTR,s__TasteAttribute) &
       s__attribute(V__OBJ,V__ATTR))))
)

Merge.kif 18003-18008

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))))
)

Mid-level-ontology.kif 9390-9396
( ! [V__ACT,V__ANIMAL] :
   ((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 12135-12144
( ! [V__B,V__A] :
   ((s__instance(V__B,s__Bathing) &
       s__patient(V__B,V__A))
   =>
   s__instance(V__A,s__Animal))
)

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

Mid-level-ontology.kif 18979-18983
( ! [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 14630-14636
( ! [V__D,V__P] :
   ((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 3230-3237
( ! [V__F,V__A] :
   ((s__instance(V__F,s__Feeding) &
       s__destination(V__F,V__A))
   =>
   s__instance(V__A,s__Animal))
)

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

Mid-level-ontology.kif 9796-9800
( ! [V__L,V__A] :
   ((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 21863-21869
( ! [V__LANG,V__PROC,V__AGENT] :
   ((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 1441-1448
( ! [V__ORG] :
   ((s__instance(V__ORG,s__Organization) &
       s__attribute(V__ORG,s__AgricultureForestryFishingAndHunting))
     =>
     (? [V__EV,V__MEM] :
       (s__member(V__MEM,V__ORG)
       &
       s__agent(V__EV,V__MEM)
     &
     (? [V__THING,V__EV2,V__MEM2] :
       ((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__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__PERCEPT,V__AGENT] :
   ((s__instance(V__PERCEPT,s__Perception) &
       s__agent(V__PERCEPT,V__AGENT))
   =>
   s__instance(V__AGENT,s__Animal))
)

Merge.kif 13404-13408
( ! [V__STRUCTURE,V__ANIMAL] :
   ((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 15068-15073
( ! [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 14887-14892
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3203-3211
( ! [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 2870-2875
( ! [V__AG,V__H] :
   (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 4818-4827
( ! [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 5613-5622
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1344-1352
( ! [V__CARRY] :
   (s__instance(V__CARRY,s__Carrying) =>
     (? [V__ANIMAL] :
       (s__instance(V__ANIMAL,s__Animal) &
         s__instrument(V__CARRY,V__ANIMAL))))
)

Merge.kif 11244-11249
( ! [V__CONFINE] :
   (s__instance(V__CONFINE,s__Confining) =>
     (? [V__AGENT] :
       (s__instance(V__AGENT,s__Animal) &
         s__patient(V__CONFINE,V__AGENT))))
)

Merge.kif 12073-12078
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4906-4915
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 7189-7196

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
s__subclass(s__Apple,s__FoodForFn(s__Animal))

Mid-level-ontology.kif 19381-19381
s__subclass(s__Avocado,s__FoodForFn(s__Animal))

Mid-level-ontology.kif 19396-19396
s__subclass(s__Coconut,s__FoodForFn(s__Animal))

Mid-level-ontology.kif 19346-19346
s__subclass(s__DateFruit,s__FoodForFn(s__Animal))

Mid-level-ontology.kif 19386-19386
s__instance(s__Honey,s__SetOrClass)

Mid-level-ontology.kif 19332-19332
s__instance(s__LemonFruit,s__SetOrClass)

Economy.kif 3947-3947
s__subclass(s__OrangeFruit,s__FoodForFn(s__Animal))

Economy.kif 3954-3954
s__subclass(s__Pea,s__FoodForFn(s__Animal))

Mid-level-ontology.kif 19310-19310
s__subclass(s__PearFruit,s__FoodForFn(s__Animal))

Mid-level-ontology.kif 19391-19391


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