| 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 17664-17667 | |
| (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 17663-17663 | Law は 義務的な属性 の instance では |
| (subAttribute Law Obligation) | Merge.kif 17662-17662 | Law は Obligation の subattribute では |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (holdsDuring ?TIME1 (modalAttribute ?TEXT Law)) (exists (?TIME2) (and (holdsDuring ?TIME2 (attribute ?TEXT LegislativeBill)) (earlier ?TIME2 ?TIME1)))) |
Mid-level-ontology.kif 15185-15190 |
| consequent |
|
|
| (<=> (modalAttribute ?F1 Legal) (not (exists (?F2) (and (modalAttribute ?F2 Law) (not (consistent ?F1 ?F2)))))) |
Mid-level-ontology.kif 15221-15228 | ステートメント 公式 には Legal の modal force が ある 公式 ステートメント 公式 には Law の modal force が ある consistent 公式 and 公式 |
| (=> (and (instance ?CORPUS RegionalLaw) (subProposition ?PART ?CORPUS)) (attribute ?CORPUS Law)) |
Government.kif 837-841 | |
| (=> (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 15197-15203 | |
| (=> (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 17614-17626 | |
| (=> (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 15233-15240 | |
| (=> (instance ?CORPUS RegionalLaw) (attribute ?CORPUS Law)) |
Government.kif 833-835 |
|
|
|