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 17560-17563
(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 17559-17559	Law is an instance of deontic attribute
(subAttribute Law Obligation)	Merge.kif 17558-17558	Law is a subattribute of obligation

appearance as argument number 2

(modalAttribute AmericansWithDisabilitiesAct-US Law)	Medicine.kif 3170-3170	The statement ADA has the modal force of law
(modalAttribute AntiterrorismAndEffectiveDeathPenaltyAct Law)	Government.kif 2371-2371	The statement antiterrorism and effective death penalty act has the modal force of law
(modalAttribute ImmigrationAndNationalityAct-Section219-US Law)	Government.kif 2369-2369	The statement immigration and nationality act- section219-US has the modal force of law
(modalAttribute ImmigrationAndNationalityAct-US Law)	Government.kif 2366-2366	The statement immigration and nationality act-US has the modal force of law
(subAttribute InternationalLaw Law)	Mid-level-ontology.kif 14053-14053	International law is a subattribute of law
(termFormat ChineseLanguage Law "法")	domainEnglishFormat.kif 33573-33573	International law is a subattribute of law
(termFormat ChineseTraditionalLanguage Law "法")	domainEnglishFormat.kif 33572-33572	International law is a subattribute of law
(termFormat EnglishLanguage Law "law")	domainEnglishFormat.kif 33571-33571	International law 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 14032-14037

If the statement an entity has the modal force of law holds during a time interval,
then there exists another time interval such that legislative bill 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 14068-14075	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 the other formula is not a consistent of the formula
(=> (and (instance ?CORPUS RegionalLaw) (subProposition ?PART ?CORPUS)) (attribute ?CORPUS Law))	Government.kif 839-843	If an object is an instance of regional law 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 content bearing physical is an instance of contract document and the content bearing physical 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 14044-14050	If a process is an instance of passingA bill and an entity is a patient of the process, then legislative bill 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 16445-16457	If a process is an instance of legal summons and a content bearing physical 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 court room and the content bearing physical 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 14080-14087	If a process is an instance of criminal action, 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 the other proposition is not a consistent of the proposition
(=> (instance ?CORPUS RegionalLaw) (attribute ?CORPUS Law))	Government.kif 835-837	If an object is an instance of regional law, 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: