Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| BiDirectionalTraffic(bidirectional traffic) |
| appearance as argument number 1 |
|
| (instance BiDirectionalTraffic NormativeAttribute) | Transportation.kif 3777-3777 | Bidirectional traffic is an instance of normative attribute |
| (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 3778-3781 | Bidirectional traffic is an instance of normative attribute |
| (relatedInternalConcept BiDirectionalTraffic UniDirectionalTraffic) | Transportation.kif 3782-3782 | Bidirectional traffic is internally related to unidirectional traffic |
| (contraryAttribute BiDirectionalTraffic UniDirectionalTraffic) | Transportation.kif 3783-3783 | Bidirectional traffic is the opposite of unidirectional traffic |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage BiDirectionalTraffic "bidirectional traffic") | domainEnglishFormat.kif 10977-10977 |
| antecedent |
|
|
| (=> (and (instance ?W Transitway) (attribute ?W BiDirectionalTraffic)) (exists (?P) (and (instance ?P Policy) (confersNorm (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 ?P)))) |
Transportation.kif 3785-3809 | If X is an instance of transitway and bidirectional traffic is an attribute of X, then All of the following hold: (1) there exists Y such that Y is an instance of policy (2) there exist Z, W (3) V such that Z is an instance of transportation (4) X is path along which Z occurs (5) W is an instance of geographic area (6) Z originates at W (7) V is an instance of geographic area (8) Z ends up at V (9) there exists U such that U is an instance of transportation (10) X is path along which U occurs (11) Z originates at V (12) Z ends up at W (13) equal Z (14) U holds during the time of existence of Z confers norm permission for Y |
|