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 |
The number 1 argument of maritime hazard is an instance of physical |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5892-5892 |
The number 2 argument of maritime hazard is an instance of object |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5894-5894 |
maritime hazard is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5893-5893 |
maritime hazard is a subrelation of hazardous |