maritimeHazard |
appearance as argument number 1 |
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 | 域 海上危險, 1 and Physical |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5892-5892 | 域 海上危險, 2 and Object |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5894-5894 | 例 海上危險 and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5893-5893 | 子關係 海上危險 and hazardous |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5895-5895 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36233-36233 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36232-36232 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36231-36231 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5897-5905 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4751-4755 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5959-5963 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5929-5933 |