trafficableForTrafficType - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - trafficableForTrafficType

trafficableForTrafficType

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3137-3139
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3135-3135	The number 1 argument of trafficable for traffic type is an instance of object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3136-3136	The number 2 argument of trafficable for traffic type is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3134-3134	trafficable for traffic type is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2535-2535
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2534-2534
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2533-2533
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58791-58791
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58790-58790
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58789-58789

antecedent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1823-1828	If an object is an instance of river and a kind of self connected object is a trafficable for traffic type of the object and a kind of self connected object is a subclass of water vehicle, then the object is an instance of waterway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3141-3146	If a kind of self connected object is a trafficable for traffic type of a region and a kind of self connected object is a subclass of transportation device and an object is an instance of the kind of self connected object, then transportation capable at location instrument for the object with the region
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3148-3153	If a kind of self connected object is a trafficable for traffic type of a region and a kind of self connected object is a subclass of agent and an object is an instance of the kind of self connected object, then translocation capable at location agent for the object with the region

consequent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3155-3157	If an object is an instance of airport, then airplane is a trafficable for traffic type of the object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1643-1645	If an object is an instance of heliport, then helicopter is a trafficable for traffic type of the object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2233-2235	If an object is an instance of railway terminal, then train is a trafficable for traffic type of the object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1430-1432	If an object is an instance of taxiway, then airplane is a trafficable for traffic type of the object

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