|
|
   Roadway
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3359-3361 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14346-14351 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 183-183 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14345-14345 | Roadway est une sous-classe de LandTransitway |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17903-17903 | Driveway est une sous-classe de Roadway |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1646-1646 | Lane est une sous-classe de Roadway |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22270-22270 | Road est une sous-classe de Roadway |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3023-3023 | RoadJunction est une sous-classe de Roadway |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1643-1643 | SecondaryHighway est une sous-classe de Roadway |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1644-1644 | Street est une sous-classe de Roadway |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 625-625 | SurfacedRoadway est une sous-classe de Roadway |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 635-635 | UnsurfacedRoadway est une sous-classe de Roadway |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50206-50206 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50205-50205 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50204-50204 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6702-6702 | Le nombre 2 argument de StreetAddressFn est une instance de Roadway |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24871-24871 | Le nombre 2 argument de postStreet est une instance de Roadway |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 484-491 | totalLengthOfHighwaySystem secteur g�ographique and mesure de longueur le longueur de la classe d�crite par cha�ne sympbolique est mesure de longueur |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2095-2099 |
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 493-501 |
|
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4753-4763 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15078-15084 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15689-15694 | |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2002-2007 |
|
|
|
