DeadFn |
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 | O argumento numero 1 de DeadFn e' uma sub-classe de Objeto Organico |
(instance DeadFn UnaryFunction) | Merge.kif 18553-18553 | DeadFn e' uma instancia de funcao Unaria |
(rangeSubclass DeadFn OrganismRemains) | Merge.kif 18555-18555 | Os valores retornados por DeadFn sao as sub-classes de OrganismRemains |
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 | DeadOrMissingBodyPartFn e' relacionado internamente por SUMO a DeadFn |
(relatedInternalConcept Fodder DeadFn) | Mid-level-ontology.kif 20063-20063 | Fodder e' relacionado internamente por SUMO a DeadFn |
(relatedInternalConcept OrganicObjectFn DeadFn) | Economy.kif 5248-5248 | OrganicObjectFn e' relacionado internamente por SUMO a DeadFn |
(relatedInternalConcept Produce DeadFn) | Economy.kif 4186-4186 | Produce e' relacionado internamente por SUMO a DeadFn |
(relatedInternalConcept SheddingPart DeadFn) | Geography.kif 6407-6407 | SheddingPart e' relacionado internamente por SUMO a DeadFn |
(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 |