|
|
   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 14322-14327 | |
| 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 14321-14321 | Roadway e' uma sub-classe de LandTransitway |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17875-17875 | Driveway e' uma sub-classe de Roadway |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1646-1646 | Lane e' uma sub-classe de Roadway |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22217-22217 | Road e' uma sub-classe de Roadway |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2971-2971 | RoadJunction e' uma sub-classe de Roadway |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1643-1643 | SecondaryHighway e' uma sub-classe de Roadway |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1644-1644 | Street e' uma sub-classe de Roadway |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 625-625 | SurfacedRoadway e' uma sub-classe de Roadway |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 635-635 | UnsurfacedRoadway e' uma sub-classe de Roadway |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50204-50204 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50203-50203 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50202-50202 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6707-6707 | O argumento numero 2 de StreetAddressFn e' uma instancia de Roadway |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24813-24813 | O argumento numero 2 de postStreet e' uma instancia de Roadway |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 484-491 | totalLengthOfHighwaySystem Area Geografica and Medida de Comprimento o comprimento de a classe descrita por Sequencia Simbolica e' Medida de Comprimento |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2089-2093 |
|
| 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 4776-4786 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15050-15056 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15661-15666 | |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2002-2007 |
|
|
|
