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 14286-14287 | |
(subclass LandTransitway LandArea) | Merge.kif 14285-14285 | 陆地过境通道 是 土地面积 的 subclass |
(subclass LandTransitway Transitway) | Merge.kif 14284-14284 | 陆地过境通道 是 公交专用道 的 subclass |
appearance as argument number 2 |
antecedent |
(=> (instance ?WAY LandTransitway) (hasPurpose ?WAY (exists (?MOVE ?LAND) (and (instance ?MOVE Translocation) (path ?MOVE ?WAY) (eventLocated ?MOVE ?LAND) (instance ?LAND LandArea))))) |
Merge.kif 14289-14297 |
consequent |
(=> (and (instance ?T LandTransportation) (path ?T ?P)) (instance ?P LandTransitway)) |
Mid-level-ontology.kif 17784-17788 |