| 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 18665-18667 | |
| (domainSubclass DeadFn 1 OrganicObject) | Merge.kif 18663-18663 | DeadFn 的 1 数量 是 有机物体 的 subclass |
| (instance DeadFn UnaryFunction) | Merge.kif 18662-18662 | DeadFn 是 一元函数 的 instance |
| (rangeSubclass DeadFn OrganismRemains) | Merge.kif 18664-18664 | DeadFn 的所得值 是 OrganismRemains 的 subclass |
| 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 18425-18425 | DeadOrMissingBodyPartFn 和 DeadFn 是 内部相关 |
| (relatedInternalConcept Fodder DeadFn) | Mid-level-ontology.kif 21623-21623 | 饲料 和 DeadFn 是 内部相关 |
| (relatedInternalConcept OrganicObjectFn DeadFn) | Economy.kif 5589-5589 | OrganicObjectFn 和 DeadFn 是 内部相关 |
| (relatedInternalConcept Produce DeadFn) | Economy.kif 4523-4523 | 农产品 和 DeadFn 是 内部相关 |
| (relatedInternalConcept SheddingPart DeadFn) | Geography.kif 6710-6710 | SheddingPart 和 DeadFn 是 内部相关 |
| (termFormat EnglishLanguage DeadFn "Dead fn") | domainEnglishFormat.kif 64739-64739 | SheddingPart 和 DeadFn 是 内部相关 |
| 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 4372-4377 | |
| (=> (instance ?X (DeadFn CerealGrass)) (instance ?X Grain)) |
Economy.kif 4368-4370 | |
| (=> (instance ?X (DeadFn WheatGrass)) (instance ?X WheatGrain)) |
Economy.kif 4392-4394 |
| 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 5608-5617 | |
| (=> (and (instance ?F Felling) (result ?F ?S)) (exists (?STEM) (and (instance ?S (DeadFn ?STEM)) (subclass ?STEM PlantStem)))) |
Economy.kif 5827-5835 | |
| (=> (and (instance ?H Harvesting) (result ?H ?O)) (exists (?ORG) (and (instance ?O (DeadFn ?ORG)) (subclass ?ORG OrganicObject)))) |
Mid-level-ontology.kif 19655-19663 | |
| (=> (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 6728-6737 | |
| (=> (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 1915-1921 | |
| (=> (instance ?S Seafood) (exists (?DA ?F) (and (instance ?DA (DeadFn ?F)) (part ?S ?DA) (subclass ?F Fish)))) |
Food.kif 3384-3390 | |
| (=> (instance ?S Spice) (exists (?P ?CLASS) (and (instance ?P (DeadFn ?CLASS)) (part ?S ?P) (subclass ?CLASS PlantAnatomicalStructure)))) |
Economy.kif 4703-4710 | |
| (=> (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