| LandTransitway | |
| appearance as argument number 1 |
|
|
| (documentation LandTransitway ChineseLanguage "LandTransitway 是 Transitway 的子类别，它 代表用于在地面运行的地带。") | chinese_format.kif 3357-3358 | |
| (documentation LandTransitway EnglishLanguage "LandTransitway is the subclass of Transitway that represents areas intended for motion over the ground.") | Merge.kif 13636-13637 | |
| (subclass LandTransitway LandArea) | Merge.kif 13635-13635 | |
| (subclass LandTransitway Transitway) | Merge.kif 13634-13634 |
| appearance as argument number 2 |
|
|
| (subclass Airport LandTransitway) | Transportation.kif 1267-1267 | |
| (subclass BowlingLane LandTransitway) | Sports.kif 1069-1069 | |
| (subclass Bridge LandTransitway) | Transportation.kif 1618-1618 | |
| (subclass Railway LandTransitway) | Transportation.kif 345-345 | |
| (subclass Roadway LandTransitway) | Merge.kif 13647-13647 | |
| (subclass RunningTrack LandTransitway) | Mid-level-ontology.kif 24838-24838 | |
| (subclass Runway LandTransitway) | Transportation.kif 1298-1298 | |
| (subclass Trail LandTransitway) | Transportation.kif 1647-1647 | |
| (subclass Tunnel LandTransitway) | Transportation.kif 1630-1630 | |
| (termFormat ChineseLanguage LandTransitway "陆地过境通道") | domainEnglishFormat.kif 33276-33276 | |
| (termFormat ChineseTraditionalLanguage LandTransitway "陸地過境通道") | domainEnglishFormat.kif 33275-33275 | |
| (termFormat EnglishLanguage LandTransitway "land transitway") | domainEnglishFormat.kif 33274-33274 |
| consequent |
|
|
| (=> (and (instance ?T LandTransportation) (path ?T ?P)) (instance ?P LandTransitway)) |
Mid-level-ontology.kif 16857-16861 |
|
|
|