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 14424-14425
(subclass LandTransitway LandArea)	Merge.kif 14423-14423	Land transitway is a subclass of land area
(subclass LandTransitway Transitway)	Merge.kif 14422-14422	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 14437-14437	Roadway is a subclass of land transitway
(subclass RunningTrack LandTransitway)	Mid-level-ontology.kif 27458-27458	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 33317-33317	Tunnel is a subclass of land transitway
(termFormat ChineseTraditionalLanguage LandTransitway "陸地過境通道")	domainEnglishFormat.kif 33316-33316	Tunnel is a subclass of land transitway
(termFormat EnglishLanguage LandTransitway "land transitway")	domainEnglishFormat.kif 33315-33315	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 3917-3929	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 14427-14435	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 19352-19356

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