BodyOfWater(body of water) |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4393-4395 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4391-4391 | Body of water is a subclass of self connected object |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4390-4390 | 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 4439-4439 | North atlantic ocean is an instance of body of water |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4471-4471 | North pacific ocean is an instance of body of water |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4485-4485 | NortheasternPacificOcean is an instance of body of water |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4498-4498 | NorthwesternPacificOcean is an instance of body of water |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4452-4452 | South atlantic ocean is an instance of body of water |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4511-4511 | South pacific ocean is an instance of body of water |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4398-4398 | World ocean is an instance of body of water |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5214-5214 | Channel is a subclass of body of water |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5569-5569 | Creek is a subclass of body of water |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5077-5077 | Estuary is a subclass of body of water |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5020-5020 | Gulf is a subclass of body of water |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5116-5116 | Inlet is a subclass of body of water |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4976-4976 | Landlocked water is a subclass of body of water |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4412-4412 | Ocean is a subclass of body of water |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5372-5372 | River is a subclass of body of water |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4656-4656 | Sea is a subclass of body of water |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5176-5176 | Sound is a subclass of body of water |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5190-5190 | Strait is a subclass of body of water |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11486-11486 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11485-11485 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11484-11484 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5228-5233 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5558-5567 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4422-4427 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5203-5208 |
|
consequent |
![]() |
![]() |
![]() |