LandTransitway - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - LandTransitway

LandTransitway(land transitway)

Silk_Road, aisle, approach_trench, areaway, berm, bus_route, cart_track, cartroad, communication_trench, corduroy, deer_trail, footpath, gangway, line_of_march, paper_round, paper_route, pathway, portage, post_road, right_of_way, shoulder, slot, spoor, steps, track, trail

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	Land transitway is a subclass of land area
(subclass LandTransitway Transitway)	Merge.kif 14437-14437	Land transitway is a subclass of transitway

appearance as argument number 2

(subclass Airport LandTransitway)	Transportation.kif 1267-1267	Airport is a subclass of land transitway
(subclass BowlingLane LandTransitway)	Sports.kif 1155-1155	Bowling lane is a subclass of land transitway
(subclass Bridge LandTransitway)	Transportation.kif 1747-1747	Bridge is a subclass of land transitway
(subclass Railway LandTransitway)	Transportation.kif 345-345	Railway is a subclass of land transitway
(subclass Roadway LandTransitway)	Merge.kif 14452-14452	Roadway is a subclass of land transitway
(subclass RunningTrack LandTransitway)	Mid-level-ontology.kif 27699-27699	Running track is a subclass of land transitway
(subclass Runway LandTransitway)	Transportation.kif 1370-1370	Runway is a subclass of land transitway
(subclass Taxiway LandTransitway)	Transportation.kif 1410-1410	Taxiway is a subclass of land transitway
(subclass Trail LandTransitway)	Transportation.kif 1787-1787	Trail is a subclass of land transitway
(subclass Tunnel LandTransitway)	Transportation.kif 1770-1770	Tunnel is a subclass of land transitway
(termFormat ChineseLanguage LandTransitway "陆地过境通道")	domainEnglishFormat.kif 33300-33300	Tunnel is a subclass of land transitway
(termFormat ChineseTraditionalLanguage LandTransitway "陸地過境通道")	domainEnglishFormat.kif 33299-33299	Tunnel is a subclass of land transitway
(termFormat EnglishLanguage LandTransitway "land transitway")	domainEnglishFormat.kif 33298-33298	Tunnel is a subclass of land transitway

antecedent

(=> (and (transitwayThroughputCapacity ?LT ?TI ?I) (instance ?LT LandTransitway) (instance ?C Collection) (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 3919-3931	If a transitway can handle a nonnegative integer number of vehicles during a time interval and the transitway is an instance of land transitway and a collection is an instance of collection and land vehicle is a member type of the collection and the nonnegative integer2 is a member count of the collection and an object is a member of the collection and a motion is an instance of transportation and the object is an instrument for the motion and the time of existence of the motion takes place during the time interval and the transitway is path along which the motion occurs, then the nonnegative integer is greater than or equal to the nonnegative integer2
(=> (instance ?WAY LandTransitway) (hasPurpose ?WAY (exists (?MOVE ?LAND) (and (instance ?MOVE Translocation) (path ?MOVE ?WAY) (eventLocated ?MOVE ?LAND) (instance ?LAND LandArea)))))	Merge.kif 14442-14450	If a physical is an instance of land transitway, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of translocation and the physical is path along which the entity occurs and the entity is located at the other entity and the other entity is an instance of land area

consequent

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

Mid-level-ontology.kif 19335-19339

If a motion is an instance of land transportation and an object is path along which the motion occurs,
then the object is an instance of land transitway

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 is open source software produced by Articulate Software and its partners