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 14145-14146 | |
(subclass LandTransitway LandArea) | Merge.kif 14144-14144 | |
(subclass LandTransitway Transitway) | Merge.kif 14143-14143 |
appearance as argument number 2 |
![]() |
(subclass Airport LandTransitway) | Transportation.kif 1267-1267 | |
(subclass BowlingLane LandTransitway) | Sports.kif 1141-1141 | |
(subclass Bridge LandTransitway) | Transportation.kif 1618-1618 | |
(subclass Railway LandTransitway) | Transportation.kif 345-345 | |
(subclass Roadway LandTransitway) | Merge.kif 14158-14158 | |
(subclass RunningTrack LandTransitway) | Mid-level-ontology.kif 25710-25710 | |
(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 33271-33271 | |
(termFormat ChineseTraditionalLanguage LandTransitway "陸地過境通道") | domainEnglishFormat.kif 33270-33270 | |
(termFormat EnglishLanguage LandTransitway "land transitway") | domainEnglishFormat.kif 33269-33269 |
antecedent |
![]() |
(=> (instance ?WAY LandTransitway) (hasPurpose ?WAY (exists (?MOVE ?LAND) (and (instance ?MOVE Translocation) (path ?MOVE ?WAY) (eventLocated ?MOVE ?LAND) (instance ?LAND LandArea))))) |
Merge.kif 14148-14156 |
consequent |
![]() |
(=> (and (instance ?T LandTransportation) (path ?T ?P)) (instance ?P LandTransitway)) |
Mid-level-ontology.kif 17604-17608 |
![]() |
![]() |