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 est une sous-classe de BodyOfWater |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4512-4512 | Ocean est une sous-classe de plan d'eau sal� |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4634-4634 | ArcticOcean est une instance de Ocean |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4534-4534 | AtlanticOcean est une instance de Ocean |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4625-4625 | IndianOcean est une instance de Ocean |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4566-4566 | PacificOcean est une instance de Ocean |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4649-4649 | SouthernOcean est une instance de Ocean |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41628-41628 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41627-41627 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41626-41626 |
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 |