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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DeadFn
DeadFn

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


s__documentation(s__DeadFn__m,s__EnglishLanguage,'(DeadFn ?ORGCLASS) denotes the Class of all remains that were once part of Living Organisms of the type ?ORGCLASS.')

Mid-level-ontology.kif 237-239
s__domainSubclass(s__DeadFn__m,1,s__Organism)

Mid-level-ontology.kif 235-235 The number 1 argument of DeadFn is a subclass of organism
s__instance(s__UnaryFunction,s__SetOrClass)

s__instance(s__DeadFn__m,s__UnaryFunction)

Mid-level-ontology.kif 234-234 DeadFn is an instance of unary function
s__rangeSubclass(s__DeadFn__m,s__OrganismRemains)

Mid-level-ontology.kif 236-236 The values returned by DeadFn are subclasses of OrganismRemains

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


s__format(s__EnglishLanguage,s__DeadFn__m,'a dead %1')

domainEnglishFormat.kif 802-802

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


( ! [V__ORG,V__ORGTYPE,V__REM,V__DEATH] :
   ((s__instance(V__ORG,s__Agent)s__and__ms__subclass(V__ORGTYPE,s__Organism)s__and__ms__instance(V__ORGTYPE,s__SetOrClass))
    s__=>((s__instance(V__REM,s__DeadFn(V__ORGTYPE))
    s__and__ms__instance(V__DEATH,s__Death)s__and__ms__result(V__DEATH,V__REM)
  s__and__ms__experiencer(V__DEATH,V__ORG))
s__=>s__instance(V__ORG,V__ORGTYPE)))
)

Mid-level-ontology.kif 242-248

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


( ! [V__ORG,V__ORGTYPE,V__REM,V__DEATH] :
   ((s__instance(V__ORG,s__Agent)s__and__ms__instance(V__ORG,s__SetOrClass)s__and__ms__subclass(V__ORGTYPE,s__Organism)s__and__ms__instance(V__ORGTYPE,s__SetOrClass))
    s__=>((s__instance(V__REM,s__OrganicObject)s__and__ms__instance(V__DEATH,s__Death)s__and__ms__experiencer(V__DEATH,V__ORG)
      s__and__ms__instance(V__ORG,V__ORGTYPE)
    s__and__ms__subclass(V__ORG,s__Organism)s__and__ms__result(V__DEATH,V__REM))
s__=>s__instance(V__REM,s__DeadFn(V__ORGTYPE))))
)

Mid-level-ontology.kif 251-259
( ! [V__M] :
   (s__instance(V__M,s__Meat)s__=>(s__exists__m[V__DA,V__AC] :
       (s__instance(V__DA,s__Object)s__and__ms__subclass(V__AC,s__Organism)s__and__ms__instance(V__AC,s__SetOrClass)s__and__m(s__instance(V__DA,s__DeadFn(V__AC))
    s__and__ms__part(V__M,V__DA)
  s__and__ms__subclass(V__AC,s__Animal)))))
)

Food.kif 304-310
( ! [V__S] :
   (s__instance(V__S,s__Seafood)s__=>(s__exists__m[V__DA,V__F] :
       (s__instance(V__DA,s__Object)s__and__ms__subclass(V__F,s__Organism)s__and__ms__instance(V__F,s__SetOrClass)s__and__m(s__instance(V__DA,s__DeadFn(V__F))
    s__and__ms__part(V__S,V__DA)
  s__and__ms__subclass(V__F,s__Fish)))))
)

Food.kif 864-870
( ! [V__X] :
   (s__instance(V__X,s__HumanCorpse)s__=>s__instance(V__X,s__DeadFn(s__Human)))
)

Mid-level-ontology.kif 229-231

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


s__subclass(s__DeadFn(s__Apple),s__GroceryProduce)

s__instance(s__GroceryProduce,s__SetOrClass)

Economy.kif 3938-3938 A dead apple is a subclass of grocery produce
s__instance(s__GroceryProduce,s__SetOrClass)

s__subclass(s__DeadFn(s__Avocado),s__GroceryProduce)

Economy.kif 3964-3964 A dead avocado is a subclass of grocery produce
s__subclass(s__DeadFn(s__Banana),s__GroceryProduce)

s__instance(s__GroceryProduce,s__SetOrClass)

Economy.kif 3967-3967 A dead banana is a subclass of grocery produce
s__subclass(s__DeadFn(s__Berry),s__GroceryProduce)

s__instance(s__GroceryProduce,s__SetOrClass)

Economy.kif 3935-3935 A dead berry is a subclass of grocery produce
s__subclass(s__DeadFn(s__Breadfruit),s__GroceryProduce)

s__instance(s__GroceryProduce,s__SetOrClass)

Economy.kif 3970-3970 A dead breadfruit is a subclass of grocery produce
s__subclass(s__DeadFn(s__Cabbage),s__GroceryProduce)

s__instance(s__GroceryProduce,s__SetOrClass)

Economy.kif 3843-3843 A dead cabbage is a subclass of grocery produce
s__instance(s__GroceryProduce,s__SetOrClass)

s__subclass(s__DeadFn(s__Carrot),s__GroceryProduce)

Economy.kif 3876-3876 A dead carrot is a subclass of grocery produce
s__subclass(s__DeadFn(s__Cassava),s__GroceryProduce)

s__instance(s__GroceryProduce,s__SetOrClass)

Economy.kif 3896-3896 A dead cassava is a subclass of grocery produce
s__subclass(s__DeadFn(s__Cauliflower),s__GroceryProduce)

s__instance(s__GroceryProduce,s__SetOrClass)

Economy.kif 3846-3846 A dead cauliflower is a subclass of grocery produce
s__subclass(s__DeadFn(s__CitrusFruit),s__GroceryProduce)

s__instance(s__GroceryProduce,s__SetOrClass)

Economy.kif 3944-3944 A dead citrus fruit is a subclass of grocery produce
s__subclass(s__DeadFn(s__Coconut),s__GroceryProduce)

s__instance(s__GroceryProduce,s__SetOrClass)

Economy.kif 3973-3973 A dead coconut is a subclass of grocery produce
s__subclass(s__DeadFn(s__Cucumber),s__GroceryProduce)

s__instance(s__GroceryProduce,s__SetOrClass)

Economy.kif 3840-3840 A dead cucumber is a subclass of grocery produce
s__instance(s__GroceryProduce,s__SetOrClass)

s__subclass(s__DeadFn(s__DateFruit),s__GroceryProduce)

Economy.kif 3976-3976 A dead date fruit is a subclass of grocery produce
s__subclass(s__DeadFn(s__EdibleNut),s__GroceryProduce)

s__instance(s__GroceryProduce,s__SetOrClass)

Economy.kif 4019-4019 A dead edible nut is a subclass of grocery produce
s__subclass(s__DeadFn(s__Eggplant),s__GroceryProduce)

s__instance(s__GroceryProduce,s__SetOrClass)

Economy.kif 3849-3849 A dead eggplant is a subclass of grocery produce
s__instance(s__GroceryProduce,s__SetOrClass)

s__subclass(s__DeadFn(s__Grape),s__GroceryProduce)

Economy.kif 3927-3927 A dead grape is a subclass of grocery produce
s__subclass(s__DeadFn(s__Groundnut),s__GroceryProduce)

s__instance(s__GroceryProduce,s__SetOrClass)

Economy.kif 4033-4033 A dead groundnut is a subclass of grocery produce
s__instance(s__GroceryProduce,s__SetOrClass)

s__subclass(s__DeadFn(s__LeafyGreenVegetable),s__GroceryProduce)

Economy.kif 3837-3837 A dead leafy green vegetable is a subclass of grocery produce
s__subclass(s__DeadFn(s__Mango),s__GroceryProduce)

s__instance(s__GroceryProduce,s__SetOrClass)

Economy.kif 3979-3979 A dead mango is a subclass of grocery produce
s__instance(s__GroceryProduce,s__SetOrClass)

s__subclass(s__DeadFn(s__Melon),s__GroceryProduce)

Economy.kif 3930-3930 A dead melon is a subclass of grocery produce
s__subclass(s__DeadFn(s__Olive),s__GroceryProduce)

s__instance(s__GroceryProduce,s__SetOrClass)

Economy.kif 3941-3941 A dead olive is a subclass of grocery produce
s__subclass(s__DeadFn(s__Papaw),s__GroceryProduce)

s__instance(s__GroceryProduce,s__SetOrClass)

Economy.kif 3982-3982 A dead papaw is a subclass of grocery produce
s__subclass(s__DeadFn(s__Papaya),s__GroceryProduce)

s__instance(s__GroceryProduce,s__SetOrClass)

Economy.kif 3987-3987 A dead papaya is a subclass of grocery produce
s__subclass(s__DeadFn(s__PassionFruit),s__GroceryProduce)

s__instance(s__GroceryProduce,s__SetOrClass)

Economy.kif 3990-3990 A dead passion fruit is a subclass of grocery produce
s__subclass(s__DeadFn(s__Peanut),s__GroceryProduce)

s__instance(s__GroceryProduce,s__SetOrClass)

Economy.kif 4030-4030 A dead peanut is a subclass of grocery produce

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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