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 14332-14333
(subclass LandTransitway LandArea)	Merge.kif 14331-14331	Land transitway is a subclass of land area
(subclass LandTransitway Transitway)	Merge.kif 14330-14330	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 1142-1142	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 14345-14345	Roadway is a subclass of land transitway
(subclass RunningTrack LandTransitway)	Mid-level-ontology.kif 26065-26065	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 33323-33323	Tunnel is a subclass of land transitway
(termFormat ChineseTraditionalLanguage LandTransitway "陸地過境通道")	domainEnglishFormat.kif 33322-33322	Tunnel is a subclass of land transitway
(termFormat EnglishLanguage LandTransitway "land transitway")	domainEnglishFormat.kif 33321-33321	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 3840-3852	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 14335-14343	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 18042-18046

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