| 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 18611-18613 | |
| (domainSubclass DeadFn 1 OrganicObject) | Merge.kif 18609-18609 | |
| (instance DeadFn UnaryFunction) | Merge.kif 18608-18608 | |
| (rangeSubclass DeadFn OrganismRemains) | Merge.kif 18610-18610 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage DeadFn "一个 dead %1 ") | domainEnglishFormat.kif 3166-3166 | |
| (format ChineseTraditionalLanguage DeadFn "一個 dead %1 ") | domainEnglishFormat.kif 3165-3165 | |
| (format EnglishLanguage DeadFn "a dead %1") | domainEnglishFormat.kif 3164-3164 | |
| (relatedInternalConcept DeadOrMissingBodyPartFn DeadFn) | Merge.kif 18372-18372 | |
| (relatedInternalConcept Fodder DeadFn) | Mid-level-ontology.kif 21630-21630 | |
| (relatedInternalConcept OrganicObjectFn DeadFn) | Economy.kif 5583-5583 | |
| (relatedInternalConcept Produce DeadFn) | Economy.kif 4521-4521 | |
| (relatedInternalConcept SheddingPart DeadFn) | Geography.kif 6476-6476 | |
| (termFormat EnglishLanguage DeadFn "Dead fn") | domainEnglishFormat.kif 64768-64768 |
| 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 4370-4375 | |
| (=> (instance ?X (DeadFn CerealGrass)) (instance ?X Grain)) |
Economy.kif 4366-4368 | |
| (=> (instance ?X (DeadFn WheatGrass)) (instance ?X WheatGrain)) |
Economy.kif 4390-4392 |
| 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 5602-5611 | |
| (=> (and (instance ?F Felling) (result ?F ?S)) (exists (?STEM) (and (instance ?S (DeadFn ?STEM)) (subclass ?STEM PlantStem)))) |
Economy.kif 5820-5828 | |
| (=> (and (instance ?H Harvesting) (result ?H ?O)) (exists (?ORG) (and (instance ?O (DeadFn ?ORG)) (subclass ?ORG OrganicObject)))) |
Mid-level-ontology.kif 19662-19670 | |
| (=> (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 6494-6503 | |
| (=> (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 4700-4707 | |
| (=> (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