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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Prohibition

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 17251-17253
(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 17250-17250

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


(subAttribute Illegal Prohibition) Mid-level-ontology.kif 13306-13306
(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 17255-17257
(=>
    (agreementClause ?PROP Prohibition ?AGREEMENT ?AGENT)
    (not
        (holdsRight
            (exists (?PROC)
                (and
                    (realization ?PROC ?PROP)
                    (agent ?PROC ?AGENT))) ?AGENT)))
Mid-level-ontology.kif 13557-13564
(=>
    (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 2485-2501
(=>
    (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 2462-2478
(=>
    (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 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 is open source software produced by Articulate Software and its partners