LandTransitway(land transitway) | ![]() | Silk_Road, aisle, approach_trench, areaway, berm, bus_route, cart_track, cartroad, communication_trench, corduroy, deer_trail, footpath, gangway, 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 14439-14440 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14438-14438 | Land transitway is a subclass of land area |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14437-14437 | 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 1267-1267 | Airport is a subclass of land transitway |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 1155-1155 | Bowling lane is a subclass of land transitway |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1747-1747 | Bridge is a subclass of land transitway |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 345-345 | Railway is a subclass of land transitway |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14452-14452 | Roadway is a subclass of land transitway |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27699-27699 | Running track is a subclass of land transitway |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1370-1370 | Runway is a subclass of land transitway |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1410-1410 | Taxiway is a subclass of land transitway |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1787-1787 | Trail is a subclass of land transitway |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1770-1770 | Tunnel is a subclass of land transitway |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33300-33300 | Tunnel is a subclass of land transitway |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33299-33299 | Tunnel is a subclass of land transitway |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33298-33298 | Tunnel is a subclass of land transitway |
antecedent |
![]() |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19335-19339 |
|
![]() |
![]() |