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 14332-14333
(subclass LandTransitway LandArea)	Merge.kif 14331-14331	LandTransitway は土地面積の subclass では %n
(subclass LandTransitway Transitway)	Merge.kif 14330-14330	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 14345-14345	Roadway は LandTransitway の subclass では %n
(subclass RunningTrack LandTransitway)	Mid-level-ontology.kif 25834-25834	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 14335-14343

consequent

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

Mid-level-ontology.kif 17811-17815