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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Prohibition
Prohibition

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


(documentation Prohibition ChineseLanguage "Prohibition 用来表示某种权威禁止 Agent 去 实现 Proposition 的 DeonticAttribute。") chinese_format.kif 3913-3914
(documentation Prohibition EnglishLanguage "Prohibition is the DeonticAttribute that applies to Formulas that an AutonomousAgent is forbidden, by some authority, to make true.") Merge.kif 17686-17688
(externalImage Prohibition "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6c/ Prohibition_prescription_front.jpg") pictureList.kif 6794-6794
(externalImage Prohibition "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9b/ Prohibition_lifted_in_Canberra_1928.jpg") pictureList.kif 7652-7652
(instance Prohibition DeonticAttribute) Merge.kif 17685-17685

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


(subAttribute Illegal Prohibition) Mid-level-ontology.kif 15211-15211
(termFormat ChineseLanguage Prohibition "禁令") domainEnglishFormat.kif 47656-47656
(termFormat ChineseTraditionalLanguage Prohibition "禁令") domainEnglishFormat.kif 47655-47655
(termFormat EnglishLanguage Prohibition "prohibition") domainEnglishFormat.kif 47654-47654

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


(<=>
    (modalAttribute ?FORMULA Prohibition)
    (not
        (modalAttribute ?FORMULA Permission)))		 Merge.kif 17690-17692
(=>
    (agreementClause ?PROP Prohibition ?AGREEMENT ?AGENT)
    (not
        (holdsRight
            (exists (?PROC)
                (and
                    (realization ?PROC ?PROP)
                    (agent ?PROC ?AGENT))) ?AGENT)))		 Mid-level-ontology.kif 15462-15469
(=>
    (confersNorm ?E ?F Prohibition)
    (confersNorm ?E
        (not ?F) Permission))		 Law.kif 341-343
(=>
    (deprivesNorm ?E ?F Prohibition)
    (confersNorm ?E ?F Permission))		 Law.kif 357-359

consequent
-------------------------


(=>
    (and
        (instance ?E Entering)
        (destination ?E ?F)
        (attribute ?F PhysicallyRestrictedRegion)
        (not
            (entrance ?R ?F)))
    (modalAttribute
        (path ?E ?R) Prohibition))		 Mid-level-ontology.kif 7861-7869
(=>
    (and
        (instance ?E Exiting)
        (origin ?E ?F)
        (attribute ?F PhysicallyRestrictedRegion)
        (not
            (entrance ?R ?F)))
    (modalAttribute
        (path ?E ?R) Prohibition))		 Mid-level-ontology.kif 7882-7890
(=>
    (and
        (instance ?POLICY PetPolicy)
        (policyLocationCoverage ?POLICY ?LOC))
    (or
        (containsInformation ?POLICY
            (modalAttribute
                (exists (?PET1)
                    (and
                        (instance ?PET1 DomesticAnimal)
                        (located ?PET1 ?LOC))) Permission))
        (containsInformation ?POLICY
            (modalAttribute
                (exists (?PET2)
                    (and
                        (instance ?PET2 DomesticAnimal)
                        (located ?PET2 ?LOC))) Prohibition))))		 Hotel.kif 2523-2539
(=>
    (and
        (instance ?POLICY SmokingPolicy)
        (policyLocationCoverage ?POLICY ?LOC))
    (or
        (containsInformation ?POLICY
            (modalAttribute
                (exists (?SMOKE1)
                    (and
                        (instance ?SMOKE1 Smoking)
                        (located ?SMOKE1 ?LOC))) Permission))
        (containsInformation ?POLICY
            (modalAttribute
                (exists (?SMOKE2)
                    (and
                        (instance ?SMOKE2 Smoking)
                        (located ?SMOKE2 ?LOC))) Prohibition))))		 Hotel.kif 2500-2516
(=>
    (and
        (instance ?W Transitway)
        (attribute ?W UniDirectionalTraffic))
    (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))))))) Prohibition))))		 Transportation.kif 3275-3299
(=>
    (confersNorm ?E ?F Permission)
    (not
        (confersNorm ?E ?F Prohibition)))		 Law.kif 336-339
(=>
    (prohibitedItem ?ITEM ?SITE)
    (modalAttribute
        (exists (?SELLING)
            (and
                (instance ?SELLING Selling)
                (eCommerceSite ?SELLING ?SITE))) Prohibition))		 UXExperimentalTerms.kif 398-405


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