WorldOcean(world ocean)![]() | ![]() | seven_seas |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4573-4576 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4951-4951 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4569-4569 | World ocean is an instance of body of water |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4568-4568 | 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 3498-3498 | International hydrographic organization is interested in world ocean |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4571-4571 | World ocean has &ames$"name" "the ocean" |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4570-4570 | World ocean has &ames$"name" "world ocean" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63531-63531 | World ocean has &ames$"name" "world ocean" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63530-63530 | World ocean has &ames$"name" "world ocean" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63529-63529 | World ocean has &ames$"name" "world ocean" |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | naics.kif 8139-8150 |
|
No TPTP formula. May not be expressible in strict first order. | naics.kif 8159-8175 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4578-4580 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4600-4602 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4849-4851 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5308-5314 |
|
![]() |
![]() |