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 去 实现 PropositionDeonticAttribute。") chinese_format.kif 3913-3914
(documentation Prohibition EnglishLanguage "Prohibition is the DeonticAttribute that applies to Formulas that an Agent is forbidden, by some authority, to make true.") Merge.kif 17258-17260
(externalImage Prohibition "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6c/ Prohibition_prescription_front.jpg") pictureList.kif 6796-6796
(externalImage Prohibition "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9b/ Prohibition_lifted_in_Canberra_1928.jpg") pictureList.kif 7654-7654
(instance Prohibition DeonticAttribute) Merge.kif 17257-17257

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


(subAttribute Illegal Prohibition) Mid-level-ontology.kif 13359-13359
(termFormat ChineseLanguage Prohibition "禁令") domainEnglishFormat.kif 47637-47637
(termFormat ChineseTraditionalLanguage Prohibition "禁令") domainEnglishFormat.kif 47636-47636
(termFormat EnglishLanguage Prohibition "prohibition") domainEnglishFormat.kif 47635-47635

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


(<=>
    (modalAttribute ?FORMULA Prohibition)
    (not
        (modalAttribute ?FORMULA Permission)))
Merge.kif 17262-17264
(=>
    (agreementClause ?PROP Prohibition ?AGREEMENT ?AGENT)
    (not
        (holdsRight
            (exists (?PROC)
                (and
                    (realization ?PROC ?PROP)
                    (agent ?PROC ?AGENT))) ?AGENT)))
Mid-level-ontology.kif 13610-13617
(=>
    (confersNorm ?E ?F Prohibition)
    (confersNorm ?E
        (not ?F) Permission))
Law.kif 378-380
(=>
    (deprivesNorm ?E ?F Prohibition)
    (confersNorm ?E ?F Permission))
Law.kif 394-396

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


(=>
    (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 2512-2528
(=>
    (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 2489-2505
(=>
    (confersNorm ?E ?F Permission)
    (not
        (confersNorm ?E ?F Prohibition)))
Law.kif 373-376
(=>
    (prohibitedItem ?ITEM ?SITE)
    (modalAttribute
        (exists (?SELLING)
            (and
                (instance ?SELLING Selling)
                (eCommerceSite ?SELLING ?SITE))) Prohibition))
UXExperimentalTerms.kif 496-503


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