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

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3357-3358
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14439-14440
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14438-14438	Land transitway is a subclass of land area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14437-14437	Land transitway is a subclass of transitway

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1267-1267	Airport is a subclass of land transitway
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1155-1155	Bowling lane is a subclass of land transitway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1747-1747	Bridge is a subclass of land transitway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 345-345	Railway is a subclass of land transitway
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14452-14452	Roadway is a subclass of land transitway
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27699-27699	Running track is a subclass of land transitway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1370-1370	Runway is a subclass of land transitway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1410-1410	Taxiway is a subclass of land transitway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1787-1787	Trail is a subclass of land transitway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1770-1770	Tunnel is a subclass of land transitway
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33300-33300	Tunnel is a subclass of land transitway
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33299-33299	Tunnel is a subclass of land transitway
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33298-33298	Tunnel is a subclass of land transitway

antecedent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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

No TPTP formula. May not be expressible in strict first order.

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