| WorldOcean(world ocean)
| | seven_seas |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4318-4321 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4953-4953 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4314-4314 | World ocean is an instance of body of water |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4313-4313 | World ocean is an instance of salt water area |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3500-3500 | International hydrographic organization is interested in world ocean |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4316-4316 | World ocean has name "the ocean" |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4315-4315 | World ocean has name "world ocean" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63533-63533 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63532-63532 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63531-63531 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4323-4325 |
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4345-4347 |
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4568-4570 |
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4971-4977 |
|
|
|
|