DeadFn |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 117-119 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 115-115 | DeadFn 的 1 数量 是 有机物体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 114-114 | DeadFn 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 116-116 | DeadFn 的所得值 是 OrganismRemains 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3170-3170 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3169-3169 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3168-3168 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18260-18260 | DeadOrMissingBodyPartFn 和 DeadFn 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20035-20035 | 饲料 和 DeadFn 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5248-5248 | OrganicObjectFn 和 DeadFn 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4186-4186 | 农产品 和 DeadFn 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6407-6407 | SheddingPart 和 DeadFn 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 64745-64745 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 121-127 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4035-4040 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4031-4033 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4055-4057 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5267-5276 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5485-5493 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18083-18091 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6425-6434 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 129-137 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1909-1915 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3377-3383 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4365-4372 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 299-306 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 105-107 |