TreeView Knowledge Base Browser - Transitway

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Transitway

Transitway(transitway)

Belmont, Belmont_Park, access, approach, beeline, bend, celestial_orbit, course, crosscut, curve, cutoff, feeder_line, flyway, geosynchronous_orbit, itinerary, line_of_fire, main_line, migration_route, orbit, passage, path, route, shortcut, supply_line, supply_route, track, trade_route, way

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3355-3356
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14267-14270
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12042-12042
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10304-10304
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14265-14265	Transitway is a subclass of region
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14266-14266	Transitway is a subclass of self connected object

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1247-1247	Air transitway is a subclass of transitway
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11717-11717	Airway is a subclass of transitway
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14284-14284	Land transitway is a subclass of transitway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 773-773	Pipeline is a subclass of transitway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2962-2962	Transitway junction is a subclass of transitway
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5576-5576	Waterway is a subclass of transitway
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58904-58904
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58903-58903
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58902-58902

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1603-1603	The number 1 argument of transit is an instance of transitway
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24363-24363	The number 2 argument of distance on path is an instance of transitway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2723-2723	The number 1 argument of path in system is an instance of transitway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2903-2903	The number 1 argument of route between is an instance of transitway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2743-2743	The number 1 argument of route in system is an instance of transitway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3035-3035	The number 1 argument of transitway capacity count is an instance of transitway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3045-3045	The number 1 argument of transitway capacity rate is an instance of transitway

antecedent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1609-1613	If a motion is an instance of the transit of a transitway and the transitway is an instance of transitway, then the transitway is path along which the motion occurs
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2846-2856	If a physical system is an instance of transit system and a physical is an instance of transitway and the abstract counterpart of the physical system is a graph and the physical system is a system part of the physical, then there exists the graphA such that the graphA is an instance of graph arc and the abstract counterpart of the physical is the graphA and the graphA is a part of the graph
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14276-14282	If a physical is an instance of transitway, then the physical has the purpose there exists an entity such that the entity is an instance of translocation and the physical is path along which the entity occurs

consequent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2880-2884	If a physical system is an instance of transit system and the physical system is a system part of a physical, then the physical is an instance of transitway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2832-2837	If an object is an instance of transit system, then there exists another object such that the other object is an instance of transitway and the other object is a part of the object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2783-2797	If a region is the end of a transit system, then there exists an object such that the object is an instance of transitway and the region is connected to the object and the transit system is a system part of the object and there doesn't exist the object2 such that the object2 is an instance of transitway and the region is connected to the object2 and the transit system is a system part of the object2 and the object is not equal to the object2
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2760-2774	If a region is the start of a transit system, then there exists an object such that the object is an instance of transitway and the region is connected to the object and the transit system is a system part of the object and there doesn't exist the object2 such that the object2 is an instance of transitway and the region is connected to the object2 and the transit system is a system part of the object2 and the object is not equal to the object2

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

Show without tree

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