Transitway |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3355-3356 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14313-14316 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12042-12042 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10304-10304 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14311-14311 | Transitway est une sous-classe de r�gion |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14312-14312 | Transitway est une sous-classe de objet en une partie |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1247-1247 | AirTransitway est une sous-classe de Transitway |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11744-11744 | Airway est une sous-classe de Transitway |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14330-14330 | LandTransitway est une sous-classe de Transitway |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 773-773 | Pipeline est une sous-classe de Transitway |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3143-3143 | TransitwayJunction est une sous-classe de Transitway |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5576-5576 | Waterway est une sous-classe de Transitway |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58906-58906 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58905-58905 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58904-58904 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1603-1603 | Le nombre 1 argument de TransitFn est une instance de Transitway |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24420-24420 | Le nombre 2 argument de distanceOnPath est une instance de Transitway |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2768-2768 | Le nombre 1 argument de pathInSystem est une instance de Transitway |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3083-3083 | Le nombre 1 argument de routeBetween est une instance de Transitway |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2788-2788 | Le nombre 1 argument de routeInSystem est une instance de Transitway |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3216-3216 | Le nombre 1 argument de transitwayCapacityCount est une instance de Transitway |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3226-3226 | Le nombre 1 argument de transitwayCapacityRate est une instance de Transitway |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1609-1613 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2891-2901 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14322-14328 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2923-2927 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2877-2882 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2828-2842 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2805-2819 |
|