TreeView Knowledge Base Browser

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 14308-14309
(subclass LandTransitway LandArea)	Merge.kif 14307-14307	子類陸地過境通道 and LandArea
(subclass LandTransitway Transitway)	Merge.kif 14306-14306	子類陸地過境通道 and 公交專用道

appearance as argument number 2

(subclass Airport LandTransitway)	Transportation.kif 1267-1267	子類飛機場 and 陸地過境通道
(subclass BowlingLane LandTransitway)	Sports.kif 1142-1142	子類 BowlingLane and 陸地過境通道
(subclass Bridge LandTransitway)	Transportation.kif 1618-1618	子類橋 and 陸地過境通道
(subclass Railway LandTransitway)	Transportation.kif 345-345	子類鐵路 and 陸地過境通道
(subclass Roadway LandTransitway)	Merge.kif 14321-14321	子類巷道 and 陸地過境通道
(subclass RunningTrack LandTransitway)	Mid-level-ontology.kif 25789-25789	子類 RunningTrack and 陸地過境通道
(subclass Runway LandTransitway)	Transportation.kif 1298-1298	子類跑道 and 陸地過境通道
(subclass Trail LandTransitway)	Transportation.kif 1647-1647	子類線索 and 陸地過境通道
(subclass Tunnel LandTransitway)	Transportation.kif 1630-1630	子類隧道 and 陸地過境通道
(termFormat ChineseLanguage LandTransitway "陆地过境通道")	domainEnglishFormat.kif 33289-33289
(termFormat ChineseTraditionalLanguage LandTransitway "陸地過境通道")	domainEnglishFormat.kif 33288-33288
(termFormat EnglishLanguage LandTransitway "land transitway")	domainEnglishFormat.kif 33287-33287

antecedent

(=>
    (instance ?WAY LandTransitway)
    (hasPurpose ?WAY
        (exists (?MOVE ?LAND)
            (and
                (instance ?MOVE Translocation)
                (path ?MOVE ?WAY)
                (eventLocated ?MOVE ?LAND)
                (instance ?LAND LandArea)))))

Merge.kif 14311-14319

consequent

(=>
    (and
        (instance ?T LandTransportation)
        (path ?T ?P))
    (instance ?P LandTransitway))

Mid-level-ontology.kif 17783-17787