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 16182-16184
(externalImage Prohibition "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6c/ Prohibition_prescription_front.jpg") pictureList.kif 6796-6796 externalImage Prohibition and "http://upload.wikimedia.org/wikipedia/commons/6/6c/ Prohibition_prescription_front.jpg"
(externalImage Prohibition "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9b/ Prohibition_lifted_in_Canberra_1928.jpg") pictureList.kif 7655-7655 externalImage Prohibition and "http://upload.wikimedia.org/wikipedia/commons/9/9b/ Prohibition_lifted_in_Canberra_1928.jpg"
(instance Prohibition DeonticAttribute) Merge.kif 16181-16181 instance Prohibition and DeonticAttribute

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


(subAttribute Illegal Prohibition) Mid-level-ontology.kif 11449-11449 subAttribute Illegal and Prohibition
(termFormat ChineseLanguage Prohibition "禁令") domainEnglishFormat.kif 47593-47593 termFormat ChineseLanguage, Prohibition and "禁令"
(termFormat ChineseTraditionalLanguage Prohibition "禁令") domainEnglishFormat.kif 47592-47592 termFormat ChineseTraditionalLanguage, Prohibition and "禁令"
(termFormat EnglishLanguage Prohibition "prohibition") domainEnglishFormat.kif 47591-47591 termFormat EnglishLanguage, Prohibition and "prohibition"

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


(<=>
    (modalAttribute ?FORMULA Prohibition)
    (not
        (modalAttribute ?FORMULA Permission)))
Merge.kif 16186-16188 modalAttribute Formula and Prohibition modalAttribute Formula and Permission
(=>
    (agreementClause ?PROP Prohibition ?AGREEMENT ?AGENT)
    (not
        (holdsRight
            (exists (?PROC)
                (and
                    (realization ?PROC ?PROP)
                    (agent ?PROC ?AGENT))) ?AGENT)))
Mid-level-ontology.kif 11699-11706
(=>
    (confersNorm ?E ?F Prohibition)
    (confersNorm ?E
        (not ?F) Permission))
Law.kif 376-378
(=>
    (deprivesNorm ?E ?F Prohibition)
    (confersNorm ?E ?F Permission))
Law.kif 392-394

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 2458-2474
(=>
    (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 2435-2451
(=>
    (confersNorm ?E ?F Permission)
    (not
        (confersNorm ?E ?F Prohibition)))
Law.kif 371-374
(=>
    (prohibitedItem ?ITEM ?SITE)
    (modalAttribute
        (exists (?SELLING)
            (and
                (instance ?SELLING Selling)
                (eCommerceSite ?SELLING ?SITE))) Prohibition))
UXExperimentalTerms.kif 493-500


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners