|
|
   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 14267-14270 | |
| 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 14265-14265 | Transitway e' uma sub-classe de Regiao |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14266-14266 | Transitway e' uma sub-classe de Objeto auto-conectado |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1247-1247 | AirTransitway e' uma sub-classe de Transitway |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11717-11717 | Airway e' uma sub-classe de Transitway |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14284-14284 | LandTransitway e' uma sub-classe de Transitway |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 773-773 | Pipeline e' uma sub-classe de Transitway |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2962-2962 | TransitwayJunction e' uma sub-classe de Transitway |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5576-5576 | Waterway e' uma sub-classe de Transitway |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58904-58904 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58903-58903 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58902-58902 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1603-1603 | O argumento numero 1 de TransitFn e' uma instancia de Transitway |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24363-24363 | O argumento numero 2 de distanceOnPath e' uma instancia de Transitway |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2723-2723 | O argumento numero 1 de pathInSystem e' uma instancia de Transitway |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2903-2903 | O argumento numero 1 de routeBetween e' uma instancia de Transitway |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2743-2743 | O argumento numero 1 de routeInSystem e' uma instancia de Transitway |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3035-3035 | O argumento numero 1 de transitwayCapacityCount e' uma instancia de Transitway |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3045-3045 | O argumento numero 1 de transitwayCapacityRate e' uma instancia 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 2846-2856 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14276-14282 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2880-2884 |
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2832-2837 |
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2783-2797 |
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2760-2774 |
|
|
|
|
