BodyOfWater(body of water) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4494-4496 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4492-4492 | Body of water is a subclass of self connected object |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4491-4491 | Body of water is a subclass of water area |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4540-4540 | North atlantic ocean is an instance of body of water |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4572-4572 | North pacific ocean is an instance of body of water |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4586-4586 | Northeastern Pacific ocean is an instance of body of water |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4599-4599 | Northwestern Pacific Ocean is an instance of body of water |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4553-4553 | South atlantic ocean is an instance of body of water |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4612-4612 | South pacific ocean is an instance of body of water |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4499-4499 | World ocean is an instance of body of water |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5316-5316 | Channel is a subclass of body of water |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5672-5672 | Creek is a subclass of body of water |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5179-5179 | Estuary is a subclass of body of water |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5122-5122 | Gulf is a subclass of body of water |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5218-5218 | Inlet is a subclass of body of water |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5078-5078 | Landlocked water is a subclass of body of water |
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 5474-5474 | River is a subclass of body of water |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4758-4758 | Sea is a subclass of body of water |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5278-5278 | Sound is a subclass of body of water |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5292-5292 | Strait is a subclass of body of water |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11483-11483 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11482-11482 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11481-11481 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5330-5335 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5661-5670 |
|
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 5305-5310 |
|
consequent |