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 18665-18667 | |
(domainSubclass DeadFn 1 OrganicObject) | Merge.kif 18663-18663 | Le nombre 1 argument de DeadFn est une sous-classe de objet organique |
(instance DeadFn UnaryFunction) | Merge.kif 18662-18662 | DeadFn est une instance de function unaire |
(rangeSubclass DeadFn OrganismRemains) | Merge.kif 18664-18664 | Les valeurs retourn�es par DeadFn sont des sous-classes de OrganismRemains |
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 est reli� � l'int�rieur de SUMO � DeadFn |
(relatedInternalConcept Fodder DeadFn) | Mid-level-ontology.kif 21623-21623 | Fodder est reli� � l'int�rieur de SUMO � DeadFn |
(relatedInternalConcept OrganicObjectFn DeadFn) | Economy.kif 5589-5589 | OrganicObjectFn est reli� � l'int�rieur de SUMO � DeadFn |
(relatedInternalConcept Produce DeadFn) | Economy.kif 4523-4523 | Produce est reli� � l'int�rieur de SUMO � DeadFn |
(relatedInternalConcept SheddingPart DeadFn) | Geography.kif 6710-6710 | SheddingPart est reli� � l'int�rieur de SUMO � DeadFn |
(termFormat EnglishLanguage DeadFn "Dead fn") | domainEnglishFormat.kif 64739-64739 | SheddingPart est reli� � l'int�rieur de SUMO � 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 |
![]() |
![]() |
![]() |