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 | Ocean is a subclass of body of water |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4512-4512 | Ocean is a subclass of salt water area |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4634-4634 | Arctic ocean is an instance of ocean |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4534-4534 | Atlantic ocean is an instance of ocean |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4625-4625 | Indian ocean is an instance of ocean |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4566-4566 | Pacific ocean is an instance of ocean |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4649-4649 | Southern ocean is an instance of ocean |
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 |
|