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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Law
Law

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


(documentation Law ChineseLanguage "这是属于应用于由政府或政府一个部门 %Proposition 的 Attribute，而违规的话会遭处罚。这些 Proposition 可以编纂成法例，或是如政府政策一样属非正式的。") Merge.kif 17902-17903
(documentation Law EnglishLanguage "Attribute that applies to Propositions that are required by a government or a branch of the government and that are enforced with penalties for noncompliance. These Propositions may be codified as legislation or they may be more informal, as in the case of government policy.") Merge.kif 17898-17901
(externalImage Law "http://upload.wikimedia.org/wikipedia/commons/2/2e/European-parliament-brussels-inside.JPG") pictureList.kif 2592-2592 externalImage Law and "http://upload.wikimedia.org/wikipedia/commons/2/2e/ European-parliament-brussels-inside.JPG"
(externalImage Law "http://upload.wikimedia.org/wikipedia/commons/5/53/JMR-Memphis1.jpg") pictureList.kif 2483-2483 externalImage Law and "http://upload.wikimedia.org/wikipedia/commons/5/53/ JMR-Memphis1.jpg"
(externalImage Law "http://upload.wikimedia.org/wikipedia/commons/5/5f/Advokat%2C_Engelsk_advokatdr%C3%A4kt%2C_Nordisk_familjebok.png") pictureList.kif 2593-2593 externalImage Law and "http://upload.wikimedia.org/wikipedia/commons/5/5f/ Advokat%2C_Engelsk_advokatdr%C3%A4kt%2C_Nordisk_familjebok.png"
(externalImage Law "http://upload.wikimedia.org/wikipedia/commons/e/e7/Code_Civil_1804.png") pictureList.kif 2591-2591 externalImage Law and "http://upload.wikimedia.org/wikipedia/commons/e/e7/ Code_Civil_1804.png"
(instance Law DeonticAttribute) Merge.kif 17897-17897 instance Law and 義務的な属性
(subAttribute Law Obligation) Merge.kif 17896-17896 subAttribute Law and Obligation

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


(modalAttribute AntiterrorismAndEffectiveDeathPenaltyAct Law) Government.kif 2354-2354 modalAttribute AntiterrorismAndEffectiveDeathPenaltyAct and Law
(modalAttribute ImmigrationAndNationalityAct-Section219-US Law) Government.kif 2352-2352 modalAttribute ImmigrationAndNationalityAct-Section219-US and Law
(modalAttribute ImmigrationAndNationalityAct-US Law) Government.kif 2349-2349 modalAttribute ImmigrationAndNationalityAct-US and Law
(subAttribute InternationalLaw Law) Mid-level-ontology.kif 11439-11439 subAttribute InternationalLaw and Law
(subclass MultipolePostulate Law) engineering.kif 1261-1261 subclass MultipolePostulate and Law
(termFormat EnglishLanguage Law "law") domainEnglishFormat.kif 6008-6008 termFormat EnglishLanguage, Law and "law"

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


(=>
    (holdsDuring ?TIME1
        (modalAttribute ?TEXT Law))
    (exists (?TIME2)
        (and
            (holdsDuring ?TIME2
                (attribute ?TEXT LegislativeBill))
            (earlier ?TIME2 ?TIME1))))		 Mid-level-ontology.kif 11413-11418

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


(<=>
    (modalAttribute ?F1 Legal)
    (not
        (exists (?F2)
            (and
                (modalAttribute ?F2 Law)
                (not
                    (consistent ?F1 ?F2))))))		 Mid-level-ontology.kif 11454-11461 modalAttribute 公式 and Legal 公式 modalAttribute 公式 and Law consistent 公式 and 公式
(=>
    (and
        (instance ?CORPUS RegionalLaw)
        (subProposition ?PART ?CORPUS))
    (attribute ?CORPUS Law))		 Government.kif 868-872
(=>
    (and
        (instance ?DOC ContractDocument)
        (containsInformation ?DOC ?PROP)
        (property ?PROP Contract))
    (property ?PROP Law))		 Media.kif 995-1000
(=>
    (and
        (instance ?PASS PassingABill)
        (patient ?PASS ?TEXT))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?PASS))
            (attribute ?TEXT LegislativeBill))
        (holdsDuring
            (EndFn
                (WhenFn ?PASS))
            (attribute ?TEXT Law))))		 Mid-level-ontology.kif 11430-11436
(=>
    (and
        (instance ?S LegalSummons)
        (patient ?S ?O)
        (destination ?S ?P))
    (exists (?C ?T)
        (and
            (instance ?C CourtRoom)
            (containsInformation ?O
                (modalAttribute
                    (holdsDuring ?T
                        (located ?P ?C)) Law)))))		 Mid-level-ontology.kif 13873-13885
(=>
    (instance ?ACTION CriminalAction)
    (exists (?LAW ?CONTENT ?CRIME)
        (and
            (modalAttribute ?LAW Law)
            (containsInformation ?LAW ?CONTENT)
            (realization ?ACTION ?CRIME)
            (not
                (consistent ?CONTENT ?CRIME)))))		 Mid-level-ontology.kif 11466-11473
(=>
    (instance ?CORPUS RegionalLaw)
    (attribute ?CORPUS Law))		 Government.kif 864-866


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