Ocean
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4515-4521 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 905-905 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4513-4513 | 海洋 是 水体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4512-4512 | 海洋 是 盐水区 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4634-4634 | 北冰洋 是 海洋 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4534-4534 | 大西洋 是 海洋 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4625-4625 | 印度洋 是 海洋 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4566-4566 | 太平洋 是 海洋 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4649-4649 | 南部海洋 是 海洋 的 instance |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41626-41626 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41625-41625 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41624-41624 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5733-5737 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4643-4647 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4523-4528 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4837-4842 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4830-4835 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4530-4532 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 942-950 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 934-940 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5129-5136 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 841-850 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 873-882 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4783-4789 |