![]() |
![]() ![]() ![]()
|
![]() |
|
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 14439-14440 | |
(subclass LandTransitway LandArea) | Merge.kif 14438-14438 | LandTransitway est une sous-classe de zone de terre |
(subclass LandTransitway Transitway) | Merge.kif 14437-14437 | LandTransitway est une sous-classe de Transitway |
appearance as argument number 2 |
![]() |
(subclass Airport LandTransitway) | Transportation.kif 1267-1267 | Airport est une sous-classe de LandTransitway |
(subclass BowlingLane LandTransitway) | Sports.kif 1155-1155 | BowlingLane est une sous-classe de LandTransitway |
(subclass Bridge LandTransitway) | Transportation.kif 1747-1747 | Bridge est une sous-classe de LandTransitway |
(subclass Railway LandTransitway) | Transportation.kif 345-345 | Railway est une sous-classe de LandTransitway |
(subclass Roadway LandTransitway) | Merge.kif 14452-14452 | Roadway est une sous-classe de LandTransitway |
(subclass RunningTrack LandTransitway) | Mid-level-ontology.kif 27699-27699 | RunningTrack est une sous-classe de LandTransitway |
(subclass Runway LandTransitway) | Transportation.kif 1370-1370 | Runway est une sous-classe de LandTransitway |
(subclass Taxiway LandTransitway) | Transportation.kif 1410-1410 | Taxiway est une sous-classe de LandTransitway |
(subclass Trail LandTransitway) | Transportation.kif 1787-1787 | Trail est une sous-classe de LandTransitway |
(subclass Tunnel LandTransitway) | Transportation.kif 1770-1770 | Tunnel est une sous-classe de LandTransitway |
(termFormat ChineseLanguage LandTransitway "陆地过境通道") | domainEnglishFormat.kif 33300-33300 | Tunnel est une sous-classe de LandTransitway |
(termFormat ChineseTraditionalLanguage LandTransitway "陸地過境通道") | domainEnglishFormat.kif 33299-33299 | Tunnel est une sous-classe de LandTransitway |
(termFormat EnglishLanguage LandTransitway "land transitway") | domainEnglishFormat.kif 33298-33298 | Tunnel est une sous-classe de LandTransitway |
antecedent |
![]() |
consequent |
![]() |
(=> (and (instance ?T LandTransportation) (path ?T ?P)) (instance ?P LandTransitway)) |
Mid-level-ontology.kif 19335-19339 |
|
![]() |
![]() |