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 and Object |
No TPTP formula. May not be expressible in strict first order. | Media.kif 184-184 | 例 ReceivingAnObjectFn and UnaryFunction |
No TPTP formula. May not be expressible in strict first order. | Media.kif 185-185 | 範圍子類 ReceivingAnObjectFn and Getting |
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 |