| appearance as argument number 1 |
|
| (documentation DeadFn EnglishLanguage "(DeadFn ?ORGCLASS) denotes the Class of all remains that were once part of Living Organisms of the type ?ORGCLASS.") | Merge.kif 18556-18558 | |
| (domainSubclass DeadFn 1 OrganicObject) | Merge.kif 18554-18554 | |
| (instance DeadFn UnaryFunction) | Merge.kif 18553-18553 | |
| (rangeSubclass DeadFn OrganismRemains) | Merge.kif 18555-18555 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage DeadFn "一个 dead %1 ") | domainEnglishFormat.kif 3170-3170 | |
| (format ChineseTraditionalLanguage DeadFn "一個 dead %1 ") | domainEnglishFormat.kif 3169-3169 | |
| (format EnglishLanguage DeadFn "a dead %1") | domainEnglishFormat.kif 3168-3168 | |
| (relatedInternalConcept DeadOrMissingBodyPartFn DeadFn) | Merge.kif 18317-18317 | |
| (relatedInternalConcept Fodder DeadFn) | Mid-level-ontology.kif 20063-20063 | |
| (relatedInternalConcept OrganicObjectFn DeadFn) | Economy.kif 5248-5248 | |
| (relatedInternalConcept Produce DeadFn) | Economy.kif 4186-4186 | |
| (relatedInternalConcept SheddingPart DeadFn) | Geography.kif 6407-6407 | |
| (termFormat EnglishLanguage DeadFn "Dead fn") | domainEnglishFormat.kif 64747-64747 |
| antecedent |
|
|
| (=> (and (instance ?REM (DeadFn ?ORGTYPE)) (instance ?DEATH Death) (result ?DEATH ?REM) (experiencer ?DEATH ?ORG)) (instance ?ORG ?ORGTYPE)) |
Mid-level-ontology.kif 114-120 | |
| (=> (instance ?X (DeadFn CerealGrain)) (exists (?CLASS) (and (instance ?X ?CLASS) (equal ?CLASS (FoodForFn Animal))))) |
Economy.kif 4035-4040 | |
| (=> (instance ?X (DeadFn CerealGrass)) (instance ?X Grain)) |
Economy.kif 4031-4033 | |
| (=> (instance ?X (DeadFn WheatGrass)) (instance ?X WheatGrain)) |
Economy.kif 4055-4057 |
| consequent |
|
|
| (=> (and (equal ?P (OrganicObjectFn ?ORG)) (subclass ?P Object)) (exists (?R ?O) (and (instance ?R (DeadFn ?ORG)) (part ?R ?O) (instance ?O ?ORG)))) |
Economy.kif 5267-5276 | |
| (=> (and (instance ?F Felling) (result ?F ?S)) (exists (?STEM) (and (instance ?S (DeadFn ?STEM)) (subclass ?STEM PlantStem)))) |
Economy.kif 5485-5493 | |
| (=> (and (instance ?H Harvesting) (result ?H ?O)) (exists (?ORG) (and (instance ?O (DeadFn ?ORG)) (subclass ?ORG OrganicObject)))) |
Mid-level-ontology.kif 18111-18119 | |
| (=> (and (instance ?REL SheddingPart) (?REL ?O ?P) (instance ?O ?ORG) (subclass ?ORG Organism)) (exists (?PART) (and (instance ?P (DeadFn ?PART)) (initialPart ?PART ?ORG)))) |
Geography.kif 6425-6434 | |
| (=> (and (instance ?REM OrganismRemains) (instance ?DEATH Death) (experiencer ?DEATH ?ORG) (instance ?ORG ?ORGTYPE) (subclass ?ORGTYPE OrganicObject) (result ?DEATH ?REM)) (instance ?REM (DeadFn ?ORGTYPE))) |
Mid-level-ontology.kif 122-130 | |
| (=> (instance ?M Meat) (exists (?DA ?AC) (and (instance ?DA (DeadFn ?AC)) (part ?M ?DA) (subclass ?AC Animal)))) |
Food.kif 1909-1915 | |
| (=> (instance ?S Seafood) (exists (?DA ?F) (and (instance ?DA (DeadFn ?F)) (part ?S ?DA) (subclass ?F Fish)))) |
Food.kif 3377-3383 | |
| (=> (instance ?S Spice) (exists (?P ?CLASS) (and (instance ?P (DeadFn ?CLASS)) (part ?S ?P) (subclass ?CLASS PlantAnatomicalStructure)))) |
Economy.kif 4365-4372 | |
| (=> (instance ?X FoodFromPlant) (exists (?P ?CLASS) (and (instance ?P (DeadFn ?CLASS)) (part ?X ?P) (subclass ?CLASS Plant)))) |
Food.kif 299-306 | |
| (=> (instance ?X HumanCorpse) (instance ?X (DeadFn Human))) |
Mid-level-ontology.kif 105-107 |
|
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