No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4809-4809 |
ArabianSea est une instance de Sea |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4808-4808 |
BalticSea est une instance de Sea |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4807-4807 |
BeringSea est une instance de Sea |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4800-4800 |
BlackSea est une instance de Sea |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4799-4799 |
CaribbeanSea est une instance de Sea |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4798-4798 |
MediterraneanSea est une instance de Sea |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4810-4810 |
NorthSea est une instance de Sea |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4801-4801 |
RedSea est une instance de Sea |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51641-51641 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51640-51640 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51639-51639 |
|