No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4809-4809 |
Arabian sea is an instance of sea |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4808-4808 |
Baltic sea is an instance of sea |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4807-4807 |
Bering sea is an instance of sea |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4800-4800 |
Black sea is an instance of sea |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4799-4799 |
Caribbean sea is an instance of sea |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4798-4798 |
Mediterranean sea is an instance of sea |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4810-4810 |
North sea is an instance of sea |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4801-4801 |
Red sea is an instance of sea |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51639-51639 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51638-51638 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51637-51637 |
|