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 可以编纂成法例,或是如政府政策一样属非正式的。") chinese_format.kif 3909-3910
(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 16126-16129
(externalImage Law "http://upload.wikimedia.org/wikipedia/commons/2/2e/European-parliament-brussels-inside.JPG") pictureList.kif 2592-2592
(externalImage Law "http://upload.wikimedia.org/wikipedia/commons/5/53/JMR-Memphis1.jpg") pictureList.kif 2483-2483
(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 "http://upload.wikimedia.org/wikipedia/commons/e/e7/Code_Civil_1804.png") pictureList.kif 2591-2591
(instance Law DeonticAttribute) Merge.kif 16125-16125
(subAttribute Law Obligation) Merge.kif 16124-16124

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


(modalAttribute AntiterrorismAndEffectiveDeathPenaltyAct Law) Government.kif 2348-2348
(modalAttribute ImmigrationAndNationalityAct-Section219-US Law) Government.kif 2346-2346
(modalAttribute ImmigrationAndNationalityAct-US Law) Government.kif 2343-2343
(subAttribute InternationalLaw Law) Mid-level-ontology.kif 11437-11437
(subclass MultipolePostulate Law) engineering.kif 1261-1261
(termFormat ChineseLanguage Law "法") domainEnglishFormat.kif 33451-33451
(termFormat ChineseTraditionalLanguage Law "法") domainEnglishFormat.kif 33450-33450
(termFormat EnglishLanguage Law "law") domainEnglishFormat.kif 33449-33449

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


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

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


(<=>
    (modalAttribute ?F1 Legal)
    (not
        (exists (?F2)
            (and
                (modalAttribute ?F2 Law)
                (not
                    (consistent ?F1 ?F2))))))
Mid-level-ontology.kif 11452-11459
(=>
    (and
        (instance ?CORPUS RegionalLaw)
        (subProposition ?PART ?CORPUS))
    (attribute ?CORPUS Law))
Government.kif 861-865
(=>
    (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 11428-11434
(=>
    (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 13865-13877
(=>
    (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 11464-11471
(=>
    (instance ?CORPUS RegionalLaw)
    (attribute ?CORPUS Law))
Government.kif 857-859


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