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
s__instance(s__UnaryFunction,s__SetOrClass)

Mid-level-ontology.kif 234-234
s__rangeSubclass(s__DeadFn__m,s__OrganismRemains)

Mid-level-ontology.kif 236-236

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


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

domainEnglishFormat.kif 802-802

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


( ! [V__REM,V__ORGTYPE,V__DEATH,V__ORG] :
   ((s__instance(V__REM,s__DeadFn(V__ORGTYPE))
   &
   s__instance(V__DEATH,s__Death) &
   s__result(V__DEATH,V__REM)
&
s__experiencer(V__DEATH,V__ORG))
=>
s__instance(V__ORG,V__ORGTYPE))
)

Mid-level-ontology.kif 242-248

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


( ! [V__REM,V__DEATH,V__ORG,V__ORGTYPE] :
   ((s__instance(V__REM,s__OrganicObject) &
       s__instance(V__DEATH,s__Death) &
       s__experiencer(V__DEATH,V__ORG)
     &
     s__instance(V__ORG,V__ORGTYPE)
   &
   s__subclass(V__ORG,s__Organism) &
   s__result(V__DEATH,V__REM))
=>
s__instance(V__REM,s__DeadFn(V__ORGTYPE)))
)

Mid-level-ontology.kif 251-259
( ! [V__M] :
   (s__instance(V__M,s__Meat) =>
     (? [V__DA,V__AC] :
       (s__instance(V__DA,s__DeadFn(V__AC))
     &
     s__part(V__M,V__DA)
   &
   s__subclass(V__AC,s__Animal))))
)

Food.kif 304-310
( ! [V__S] :
   (s__instance(V__S,s__Seafood) =>
     (? [V__DA,V__F] :
       (s__instance(V__DA,s__DeadFn(V__F))
     &
     s__part(V__S,V__DA)
   &
   s__subclass(V__F,s__Fish))))
)

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

Mid-level-ontology.kif 229-231

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


s__subclass(s__DeadFn(s__Alfalfa),s__PlantAgriculturalArtifact)

Society.kif 1059-1059
s__instance(s__GroceryProduce,s__SetOrClass)

Economy.kif 3938-3938
s__subclass(s__DeadFn(s__Avocado),s__GroceryProduce)

Economy.kif 3964-3964
s__subclass(s__DeadFn(s__Banana),s__GroceryProduce)

Economy.kif 3967-3967
s__subclass(s__DeadFn(s__Berry),s__GroceryProduce)

Economy.kif 3935-3935
s__instance(s__GroceryProduce,s__SetOrClass)

Economy.kif 3970-3970
s__subclass(s__DeadFn(s__Cabbage),s__GroceryProduce)

Economy.kif 3843-3843
s__subclass(s__DeadFn(s__Carrot),s__GroceryProduce)

Economy.kif 3876-3876
s__subclass(s__DeadFn(s__Cassava),s__GroceryProduce)

Economy.kif 3896-3896
s__subclass(s__DeadFn(s__Cauliflower),s__GroceryProduce)

Economy.kif 3846-3846
s__subclass(s__DeadFn(s__Chrysanthemum),s__PlantAgriculturalArtifact)

Society.kif 1073-1073
s__instance(s__GroceryProduce,s__SetOrClass)

Economy.kif 3944-3944
s__subclass(s__DeadFn(s__Clover),s__PlantAgriculturalArtifact)

Society.kif 1063-1063
s__instance(s__GroceryProduce,s__SetOrClass)

Economy.kif 3973-3973
s__subclass(s__DeadFn(s__Cucumber),s__GroceryProduce)

Economy.kif 3840-3840
s__subclass(s__DeadFn(s__DateFruit),s__GroceryProduce)

Economy.kif 3976-3976
s__subclass(s__DeadFn(s__EdibleNut),s__GroceryProduce)

Economy.kif 4019-4019
s__subclass(s__DeadFn(s__Eggplant),s__GroceryProduce)

Economy.kif 3849-3849
s__subclass(s__DeadFn(s__ForageCrop),s__PlantAgriculturalArtifact)

Society.kif 1064-1064
s__instance(s__GroceryProduce,s__SetOrClass)

Economy.kif 3927-3927
s__subclass(s__DeadFn(s__Groundnut),s__GroceryProduce)

Economy.kif 4033-4033
s__subclass(s__DeadFn(s__LeafyGreenVegetable),s__GroceryProduce)

Economy.kif 3837-3837
s__instance(s__GroceryProduce,s__SetOrClass)

Economy.kif 3979-3979
s__subclass(s__DeadFn(s__Melon),s__GroceryProduce)

Economy.kif 3930-3930
s__subclass(s__DeadFn(s__MulberryLeaf),s__PlantAgriculturalArtifact)

Society.kif 1065-1065

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