BiDirectionalTraffic - Sigma Knowledge base Browser

appearance as argument number 1

(contraryAttribute BiDirectionalTraffic UniDirectionalTraffic)	Transportation.kif 3237-3237	Bidirectional traffic is the opposite of unidirectional traffic
(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 3232-3235	Bidirectional traffic is the opposite of unidirectional traffic
(instance BiDirectionalTraffic NormativeAttribute)	Transportation.kif 3231-3231	Bidirectional traffic is an instance of normative attribute
(relatedInternalConcept BiDirectionalTraffic UniDirectionalTraffic)	Transportation.kif 3236-3236	Bidirectional traffic is internally related to unidirectional traffic

appearance as argument number 2

(termFormat EnglishLanguage BiDirectionalTraffic "bidirectional traffic")

domainEnglishFormat.kif 10980-10980

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 3239-3263

If an object is an instance of transitway and bidirectional traffic is an attribute of the object,
then there exists an entity such that the entity is an instance of policy and the entity confers norm there exist another entity, a third entity and a fourth entity such that the other entity is an instance of transportation and the object is path along which the other entity occurs and the third entity is an instance of geographic area and the other entity originates at the third entity and the fourth entity is an instance of geographic area and the other entity ends up at the fourth entity and there exists a fifth entity such that the fifth entity is an instance of transportation and the object is path along which the fifth entity occurs and the other entity originates at the fourth entity and the other entity ends up at the third entity and the other entity is not equal to the fifth entity holds during the time of existence of the other entity for permission

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

KB Term:			Term intersection

English Word: