| LandTransitway(land transitway) | | Silk_Road, aisle, approach_trench, areaway, berm, bus_route, cart_track, cartroad, communication_trench, corduroy, deer_trail, footpath, gangway, land_transitway, line_of_march, paper_round, paper_route, pathway, portage, post_road, right_of_way, shoulder, slot, spoor, steps, track, trail, 陆地过境通道, 陸地過境通道 |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3357-3358 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13135-13136 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13134-13134 | Land transitway is a subclass of land area |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13133-13133 | Land transitway is a subclass of transitway |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1256-1256 | Airport is a subclass of land transitway |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 993-993 | Bowling lane is a subclass of land transitway |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1603-1603 | Bridge is a subclass of land transitway |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 342-342 | Railway is a subclass of land transitway |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13146-13146 | Roadway is a subclass of land transitway |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23718-23718 | Running track is a subclass of land transitway |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1287-1287 | Runway is a subclass of land transitway |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1632-1632 | Trail is a subclass of land transitway |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1615-1615 | Tunnel is a subclass of land transitway |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33205-33205 | "陆地过境通道" is the printable form of land transitway in ChineseLanguage |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33204-33204 | "陸地過境通道" is the printable form of land transitway in ChineseTraditionalLanguage |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33203-33203 | "land transitway" is the printable form of land transitway in english language |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15375-15379 |
|
|
|
|