No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5889-5890 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5887-5888 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5891-5891 |
O argumento numero 1 de maritimeHazard e' uma instancia de Fisico |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5892-5892 |
O argumento numero 2 de maritimeHazard e' uma instancia de Objeto |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5894-5894 |
maritimeHazard e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5893-5893 |
maritimeHazard e' uma sub-relacao de hazardous |