No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5165-5165 |
Gulf of aden is an instance of gulf |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5173-5173 |
Gulf of mexico is an instance of gulf |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5157-5157 |
Gulf of oman is an instance of gulf |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5151-5151 |
Persian gulf is an instance of gulf |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27036-27036 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27035-27035 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27034-27034 |
|