| 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.") | Mid-level-ontology.kif 236-238 | |
| (domainSubclass DeadFn 1 Organism) | Mid-level-ontology.kif 234-234 | |
| (instance DeadFn UnaryFunction) | Mid-level-ontology.kif 233-233 | |
| (rangeSubclass DeadFn OrganismRemains) | Mid-level-ontology.kif 235-235 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage DeadFn "一个 dead %1 ") | domainEnglishFormat.kif 3175-3175 | |
| (format ChineseTraditionalLanguage DeadFn "一個 dead %1 ") | domainEnglishFormat.kif 3174-3174 | |
| (format EnglishLanguage DeadFn "a dead %1") | domainEnglishFormat.kif 3173-3173 |
| antecedent |
|
|
| (=> (and (instance ?REM (DeadFn ?ORGTYPE)) (instance ?DEATH Death) (result ?DEATH ?REM) (experiencer ?DEATH ?ORG)) (instance ?ORG ?ORGTYPE)) |
Mid-level-ontology.kif 241-247 |
| consequent |
|
|
| (=> (and (instance ?REM OrganicObject) (instance ?DEATH Death) (experiencer ?DEATH ?ORG) (instance ?ORG ?ORGTYPE) (subclass ?ORG Organism) (result ?DEATH ?REM)) (instance ?REM (DeadFn ?ORGTYPE))) |
Mid-level-ontology.kif 250-258 | |
| (=> (instance ?M Meat) (exists (?DA ?AC) (and (instance ?DA (DeadFn ?AC)) (part ?M ?DA) (subclass ?AC Animal)))) |
Food.kif 255-261 | |
| (=> (instance ?S Seafood) (exists (?DA ?F) (and (instance ?DA (DeadFn ?F)) (part ?S ?DA) (subclass ?F Fish)))) |
Food.kif 822-828 | |
| (=> (instance ?X HumanCorpse) (instance ?X (DeadFn Human))) |
Mid-level-ontology.kif 228-230 |
| statement |
|
|
|
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