Harbor(harbor) | marina |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 918-919 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1482-1482 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 953-953 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 917-917 | Harbor is a subclass of water area |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1693-1693 | Harbor is a subclass of waterway |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 895-895 | Deep draft harbor is a subclass of harbor |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27402-27402 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27401-27401 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27400-27400 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2942-2947 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2949-2957 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 930-936 |
|