LandTransitway - Sigma 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	LandTransitway は土地面積の subclass では %n
(subclass LandTransitway Transitway)	Merge.kif 14306-14306	LandTransitway は Transitway の subclass では %n

appearance as argument number 2

(subclass Airport LandTransitway)	Transportation.kif 1267-1267	Airport は LandTransitway の subclass では %n
(subclass BowlingLane LandTransitway)	Sports.kif 1142-1142	BowlingLane は LandTransitway の subclass では %n
(subclass Bridge LandTransitway)	Transportation.kif 1618-1618	Bridge は LandTransitway の subclass では %n
(subclass Railway LandTransitway)	Transportation.kif 345-345	Railway は LandTransitway の subclass では %n
(subclass Roadway LandTransitway)	Merge.kif 14321-14321	Roadway は LandTransitway の subclass では %n
(subclass RunningTrack LandTransitway)	Mid-level-ontology.kif 25789-25789	RunningTrack は LandTransitway の subclass では %n
(subclass Runway LandTransitway)	Transportation.kif 1298-1298	Runway は LandTransitway の subclass では %n
(subclass Trail LandTransitway)	Transportation.kif 1647-1647	Trail は LandTransitway の subclass では %n
(subclass Tunnel LandTransitway)	Transportation.kif 1630-1630	Tunnel は LandTransitway の subclass では %n
(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