ReceivingAnObjectFn |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 179-182 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 186-186 | ReceivingAnObjectFn 的 1 数量 是 客体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Media.kif 184-184 | ReceivingAnObjectFn 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Media.kif 185-185 | ReceivingAnObjectFn 的所得值 是 获得 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4342-4342 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4341-4341 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4340-4340 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65390-65390 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Media.kif 195-200 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 188-193 |