| appearance as argument number 1 |
|
| (contraryAttribute BiDirectionalTraffic UniDirectionalTraffic) | Transportation.kif 3240-3240 | |
| (documentation BiDirectionalTraffic EnglishLanguage "BiDirectionalTraffic is a NormativeAttribute. A Transitway is BiDirectionalTraffic when it divides travellers into two streams of traffic that flow in opposite directions. The condition holds when a government or an authority confers permission for two way traffic.[Wikipedia]") | Transportation.kif 3235-3238 | |
| (instance BiDirectionalTraffic NormativeAttribute) | Transportation.kif 3234-3234 | |
| (relatedInternalConcept BiDirectionalTraffic UniDirectionalTraffic) | Transportation.kif 3239-3239 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage BiDirectionalTraffic "bidirectional traffic") | domainEnglishFormat.kif 10978-10978 |
| antecedent |
|
|
| (=> (and (instance ?W Transitway) (attribute ?W BiDirectionalTraffic)) (exists (?P) (and (instance ?P Policy) (confersNorm ?P (exists (?T1 ?A ?B) (and (instance ?T1 Transportation) (path ?T1 ?W) (instance ?A GeographicArea) (origin ?T1 ?A) (instance ?B GeographicArea) (destination ?T1 ?B) (holdsDuring (WhenFn ?T1) (exists (?T2) (and (instance ?T2 Transportation) (path ?T2 ?W) (origin ?T1 ?B) (destination ?T1 ?A) (not (equal ?T1 ?T2))))))) Permission)))) |
Transportation.kif 3242-3266 |
|
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