Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - LandTransitway
LandTransitway

appearance as argument number 1
-------------------------


(subclass LandTransitway Transitway) Merge.kif 14598-14598
(subclass LandTransitway LandArea) Merge.kif 14599-14599
(documentation LandTransitway EnglishLanguage "LandTransitway is the subclass of Transitway that represents areas intended for motion over the ground.") Merge.kif 14600-14601

appearance as argument number 2
-------------------------


(subclass Roadway LandTransitway) Merge.kif 14613-14613
(subclass RunningTrack LandTransitway) Mid-level-ontology.kif 28369-28369
(subclass BowlingLane LandTransitway) Sports.kif 1169-1169
(subclass Railway LandTransitway) Transportation.kif 345-345
(subclass Airport LandTransitway) Transportation.kif 1267-1267
(subclass Runway LandTransitway) Transportation.kif 1370-1370
(subclass Taxiway LandTransitway) Transportation.kif 1426-1426
(subclass Bridge LandTransitway) Transportation.kif 1762-1762
(subclass Tunnel LandTransitway) Transportation.kif 1785-1785
(subclass Trail LandTransitway) Transportation.kif 1802-1802
(termFormat EnglishLanguage LandTransitway "land transitway") domainEnglishFormat.kif 33291-33291
(termFormat ChineseTraditionalLanguage LandTransitway "陸地過境通道") domainEnglishFormat.kif 33292-33292
(termFormat ChineseLanguage LandTransitway "陆地过境通道") domainEnglishFormat.kif 33293-33293

antecedent
-------------------------


(=>
    (instance ?WAY LandTransitway)
    (hasPurpose ?WAY
        (exists (?MOVE ?LAND)
            (and
                (instance ?MOVE Translocation)
                (path ?MOVE ?WAY)
                (eventLocated ?MOVE ?LAND)
                (instance ?LAND LandArea)))))		 Merge.kif 14603-14611
(=>
    (and
        (transitwayThroughputCapacity ?LT ?TI ?I)
        (instance ?LT LandTransitway)
        (instance ?C CollectionOfObjects)
        (memberType ?C LandVehicle)
        (memberCount ?C ?I2)
        (member ?V ?C)
        (instance ?T Transportation)
        (instrument ?T ?V)
        (during
            (WhenFn ?T) ?TI)
        (path ?T ?LT))
    (greaterThanOrEqualTo ?I ?I2))		 Transportation.kif 4459-4471

consequent
-------------------------


(=>
    (and
        (instance ?T LandTransportation)
        (path ?T ?P))
    (instance ?P LandTransitway))		 Mid-level-ontology.kif 19704-19708


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners