Law - Sigma Knowledge base Browser

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 17686-17689
(externalImage Law "http://upload.wikimedia.org/wikipedia/commons/2/2e/European_parliament_brussels_inside.JPG")	pictureList.kif 2590-2590
(externalImage Law "http://upload.wikimedia.org/wikipedia/commons/5/53/JMR_Memphis1.jpg")	pictureList.kif 2481-2481
(externalImage Law "http://upload.wikimedia.org/wikipedia/commons/5/5f/Advokat%2C_Engelsk_advokatdr%C3%A4kt%2C_Nordisk_familjebok.png")	pictureList.kif 2591-2591
(externalImage Law "http://upload.wikimedia.org/wikipedia/commons/e/e7/Code_Civil_1804.png")	pictureList.kif 2589-2589
(instance Law DeonticAttribute)	Merge.kif 17685-17685	Law is an instance of deontic attribute
(subAttribute Law Obligation)	Merge.kif 17684-17684	Law is a subattribute of Obligation

appearance as argument number 2

(modalAttribute AmericansWithDisabilitiesAct_US Law)	Medicine.kif 3171-3171	The statement AmericansWithDisabilitiesAct_US has the modal force of Law
(modalAttribute AntiterrorismAndEffectiveDeathPenaltyAct Law)	Government.kif 2368-2368	The statement AntiterrorismAndEffectiveDeathPenaltyAct has the modal force of Law
(modalAttribute ImmigrationAndNationalityAct_Section219_US Law)	Government.kif 2366-2366	The statement ImmigrationAndNationalityAct_Section219_US has the modal force of Law
(modalAttribute ImmigrationAndNationalityAct_US Law)	Government.kif 2363-2363	The statement ImmigrationAndNationalityAct_US has the modal force of Law
(subAttribute InternationalLaw Law)	Mid-level-ontology.kif 15196-15196	InternationalLaw is a subattribute of Law
(termFormat ChineseLanguage Law "法")	domainEnglishFormat.kif 33549-33549	InternationalLaw is a subattribute of Law
(termFormat ChineseTraditionalLanguage Law "法")	domainEnglishFormat.kif 33548-33548	InternationalLaw is a subattribute of Law
(termFormat EnglishLanguage Law "law")	domainEnglishFormat.kif 33547-33547	InternationalLaw is a subattribute of Law

antecedent

(=>
    (holdsDuring ?TIME1
        (modalAttribute ?TEXT Law))
    (exists (?TIME2)
        (and
            (holdsDuring ?TIME2
                (attribute ?TEXT LegislativeBill))
            (earlier ?TIME2 ?TIME1))))

Mid-level-ontology.kif 15175-15180

If the statement an entity has the modal force of Law holds during a time interval,
then there exists another time interval such that LegislativeBill is an attribute of the entity holds during the other time interval and the other time interval happens earlier than the time interval

consequent

(<=> (modalAttribute ?F1 Legal) (not (exists (?F2) (and (modalAttribute ?F2 Law) (not (consistent ?F1 ?F2))))))	Mid-level-ontology.kif 15211-15218	The statement a formula has the modal force of Legal if and only if there doesn't exist another formula such that the statement the other formula has the modal force of Law and consistent the formula and the other formula
(=> (and (instance ?CORPUS RegionalLaw) (subProposition ?PART ?CORPUS)) (attribute ?CORPUS Law))	Government.kif 837-841	If an object is an instance of RegionalLaw and a proposition is a sub-proposition of the object, then Law is an attribute of the object
(=> (and (instance ?DOC ContractDocument) (containsInformation ?DOC ?PROP) (property ?PROP Contract)) (property ?PROP Law))	Media.kif 995-1000	If a ContentBearingPhysical is an instance of ContractDocument and the ContentBearingPhysical contains information a proposition and the proposition the attribute Contract, then the proposition the attribute Law
(=> (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 15187-15193	If a process is an instance of PassingABill and an entity is a patient of the process, then LegislativeBill is an attribute of the entity holds during the beginning of the time of existence of the process and Law is an attribute of the entity holds during the end of the time of existence of the process
(=> (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 17600-17612	If a process is an instance of LegalSummons and a ContentBearingPhysical is a patient of the process and the process ends up at an entity, then there exist another entity and a third entity such that the other entity is an instance of CourtRoom and the ContentBearingPhysical contains information the statement the entity is located at the other entity holds during the third entity has the modal force of Law
(=> (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 15223-15230	If a process is an instance of CriminalAction, then there exist a formula, a proposition and another proposition such that the statement the formula has the modal force of Law and the formula contains information the proposition and the process expresses the content of the other proposition and consistent the proposition and the other proposition
(=> (instance ?CORPUS RegionalLaw) (attribute ?CORPUS Law))	Government.kif 833-835	If an object is an instance of RegionalLaw, then Law is an attribute of the object

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

KB Term:			Term intersection

English Word: