Inlet(inlet) | Loch_Linnhe, Moray_Firth, Solway_Firth, Trondheim_Fiord, Trondheim_Fjord, inlet, loch, recess |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5220-5223 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5218-5218 | Inlet is a subclass of body of water |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5259-5259 | Bay is a subclass of inlet |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5265-5265 | Cove is a subclass of inlet |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5181-5181 | Estuary is a subclass of inlet |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5253-5253 | Inlet passage is a subclass of inlet |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30181-30181 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30180-30180 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30179-30179 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5246-5251 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5239-5244 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5225-5230 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5232-5237 |
|