Harbor |
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 est une sous-classe de plan d'eau |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1693-1693 | Harbor est une sous-classe de Waterway |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 895-895 | DeepDraftHarbor est une sous-classe de 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 |