TransitSystem - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - TransitSystem

TransitSystem(transit system)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3420-3428
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3419-3419	Transit system is a subclass of physical system

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3494-3494	Air transportation system is a subclass of transit system
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3563-3563	Multi modal transit system is a subclass of transit system
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2210-2210	Rail transportation system is a subclass of transit system
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2260-2260	Road transportation system is a subclass of transit system
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3505-3505	Uni modal transit system is a subclass of transit system
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3482-3482	Water transportation system is a subclass of transit system
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58911-58911	Water transportation system is a subclass of transit system
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58910-58910	Water transportation system is a subclass of transit system
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58909-58909	Water transportation system is a subclass of transit system

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3322-3322	The number 2 argument of path in system is an instance of transit system
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3376-3376	The number 2 argument of route end is an instance of transit system
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3342-3342	The number 2 argument of route in system is an instance of transit system
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3353-3353	The number 2 argument of route start is an instance of transit system

antecedent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3476-3480	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 3444-3454	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.	Transportation.kif 3456-3466	If a physical system is an instance of transit system and a physical is an instance of transitway junction 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 graphN such that the graphN is an instance of graph node and the abstract counterpart of the physical is the graphN and the graphN is a part of the graph
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3430-3435	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 3437-3442	If a physical is an instance of transit system, then there exists an abstract such that the abstract is an instance of graph and the abstract counterpart of the physical is the abstract

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