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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Law

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 "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 17897-17897
(subAttribute Law Obligation) Merge.kif 17896-17896

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


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

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