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 可以编纂成法例，或是如政府政策一样属非正式的。") 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 17489-17492
(externalImage Law "http://upload.wikimedia.org/wikipedia/commons/2/2e/European-parliament-brussels-inside.JPG") pictureList.kif 2591-2591
(externalImage Law "http://upload.wikimedia.org/wikipedia/commons/5/53/JMR-Memphis1.jpg") pictureList.kif 2482-2482
(externalImage Law "http://upload.wikimedia.org/wikipedia/commons/5/5f/Advokat%2C_Engelsk_advokatdr%C3%A4kt%2C_Nordisk_familjebok.png") pictureList.kif 2592-2592
(externalImage Law "http://upload.wikimedia.org/wikipedia/commons/e/e7/Code_Civil_1804.png") pictureList.kif 2590-2590
(instance Law DeonticAttribute) Merge.kif 17488-17488 例 法 and DeonticAttribute
(subAttribute Law Obligation) Merge.kif 17487-17487 子屬性 法 and 義務

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


(modalAttribute AmericansWithDisabilitiesAct-US Law) Medicine.kif 3170-3170 模態屬性 AmericansWithDisabilitiesAct-US and 法
(modalAttribute AntiterrorismAndEffectiveDeathPenaltyAct Law) Government.kif 2407-2407 模態屬性 反恐怖主義和有效的死刑法 and 法
(modalAttribute ImmigrationAndNationalityAct-Section219-US Law) Government.kif 2405-2405 模態屬性 移民和國籍法- section219-US and 法
(modalAttribute ImmigrationAndNationalityAct-US Law) Government.kif 2402-2402 模態屬性 移民和國籍行為 and 法
(subAttribute InternationalLaw Law) Mid-level-ontology.kif 13835-13835 子屬性 國際法 and 法
(termFormat ChineseLanguage Law "法") domainEnglishFormat.kif 33539-33539
(termFormat ChineseTraditionalLanguage Law "法") domainEnglishFormat.kif 33538-33538
(termFormat EnglishLanguage Law "law") domainEnglishFormat.kif 33537-33537

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


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

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


(<=>
    (modalAttribute ?F1 Legal)
    (not
        (exists (?F2)
            (and
                (modalAttribute ?F2 Law)
                (not
                    (consistent ?F1 ?F2))))))		 Mid-level-ontology.kif 13850-13857 模態屬性 Formula and 合法 Formula 模態屬性 Formula and 法 Formula 是 Formula 的 consistent
(=>
    (and
        (instance ?CORPUS RegionalLaw)
        (subProposition ?PART ?CORPUS))
    (attribute ?CORPUS Law))		 Government.kif 875-879
(=>
    (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 13826-13832
(=>
    (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 16227-16239
(=>
    (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 13862-13869
(=>
    (instance ?CORPUS RegionalLaw)
    (attribute ?CORPUS Law))		 Government.kif 871-873


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