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 数量 是 物理 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5892-5892 | 海上危险 的 2 数量 是 客体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5894-5894 | 海上危险 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5893-5893 | 海上危险 是 危险 的 subrelation |
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 |