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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Illegal
Illegal(illegal)illegal

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


(contraryAttribute Illegal Legal) Mid-level-ontology.kif 13841-13841 Illegal is the opposite of legal
(documentation Illegal EnglishLanguage "A proposition is Illegal just in case it is inconsistent with any proposition that is a Law.") Mid-level-ontology.kif 13842-13843
(instance Illegal DeonticAttribute) Mid-level-ontology.kif 13839-13839 Illegal is an instance of deontic attribute
(subAttribute Illegal Prohibition) Mid-level-ontology.kif 13840-13840 Illegal is a subattribute of prohibition

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


(termFormat ChineseLanguage Illegal "非法") domainEnglishFormat.kif 29241-29241
(termFormat ChineseTraditionalLanguage Illegal "非法") domainEnglishFormat.kif 29240-29240
(termFormat EnglishLanguage Illegal "illegal") domainEnglishFormat.kif 29239-29239

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


(=>
    (and
        (instance ?T Trespassing)
        (agent ?T ?H)
        (patient ?T ?P))
    (and
        (not
            (possesses ?H ?P))
        (modalAttribute
            (located ?H ?P) Illegal)))
Mid-level-ontology.kif 18291-18301
(=>
    (attribute ?X USPrescriptionDrug)
    (modalAttribute
        (exists (?B)
            (and
                (instance ?B Buying)
                (objectTransferred ?B ?X)
                (not
                    (exists (?P)
                        (and
                            (instance ?P Prescription)
                            (refers ?P ?X)))))) Illegal))
Mid-level-ontology.kif 9296-9308


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