Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  FlagOfficerRank

 Sigma KEE - UniDirectionalTraffic
UniDirectionalTraffic(unidirectional traffic)

appearance as argument number 1
-------------------------


(instance UniDirectionalTraffic NormativeAttribute) Transportation.kif 3811-3811 Unidirectional traffic is an instance of normative attribute
(documentation UniDirectionalTraffic EnglishLanguage "UniDirectionalTraffic is a NormativeAttribute. A Transitway is UniDirectionalTraffic when it either facilitating only one_way traffic, or designed to direct Vehicles to move in one direction only.The condition holds when a government or an authority confers prohibition for two way traffic.[Wikipedia]") Transportation.kif 3812-3816 Unidirectional traffic is an instance of normative attribute

appearance as argument number 2
-------------------------


(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
(termFormat EnglishLanguage UniDirectionalTraffic "unidirectional traffic") domainEnglishFormat.kif 59937-59937 Bidirectional traffic is the opposite of unidirectional traffic

antecedent
-------------------------


(=>
    (and
        (instance ?W Transitway)
        (attribute ?W UniDirectionalTraffic))
    (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))))))) Prohibition ?P))))		 Transportation.kif 3818-3842 If X is an instance of transitway and unidirectional 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 prohibition for Y


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners