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.") | Mid-level-ontology.kif 117-119 | |
(domainSubclass DeadFn 1 OrganicObject) | Mid-level-ontology.kif 115-115 | The number 1 argument of Dead fn is a subclass of organic object |
(instance DeadFn UnaryFunction) | Mid-level-ontology.kif 114-114 | Dead fn is an instance of unary function |
(rangeSubclass DeadFn OrganismRemains) | Mid-level-ontology.kif 116-116 | The values returned by Dead fn are subclasses of organism remains |
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 18260-18260 | Dead or missing body part fn is internally related to Dead fn |
(relatedInternalConcept Fodder DeadFn) | Mid-level-ontology.kif 20035-20035 | Fodder is internally related to Dead fn |
(relatedInternalConcept OrganicObjectFn DeadFn) | Economy.kif 5248-5248 | Organic object fn is internally related to Dead fn |
(relatedInternalConcept Produce DeadFn) | Economy.kif 4186-4186 | Produce is internally related to Dead fn |
(relatedInternalConcept SheddingPart DeadFn) | Geography.kif 6407-6407 | Shedding part is internally related to Dead fn |
(termFormat EnglishLanguage DeadFn "Dead fn") | domainEnglishFormat.kif 64745-64745 |
antecedent |
consequent |