facility |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 328-329 | |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 331-331 | 域 facility, 1 and AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 330-330 | 域 facility, 2 and Object |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 327-327 | 例 facility and BinaryPredicate |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3394-3394 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3393-3393 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3392-3392 | |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 332-332 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 336-350 |
|