Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
| appearance as argument number 1 |
|
|
| (subAttribute Law Obligation) | Merge.kif 17836-17836 | Law is a subattribute of obligation |
| (instance Law DeonticAttribute) | Merge.kif 17837-17837 | Law is an instance of deontic attribute |
| (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 17838-17841 | Law is an instance of deontic attribute |
| (externalImage Law "http://upload.wikimedia.org/wikipedia/commons/5/53/JMR_Memphis1.jpg") | pictureList.kif 2481-2481 | Law is an instance of deontic attribute |
| (externalImage Law "http://upload.wikimedia.org/wikipedia/commons/e/e7/Code_Civil_1804.png") | pictureList.kif 2589-2589 | Law is an instance of deontic attribute |
| (externalImage Law "http://upload.wikimedia.org/wikipedia/commons/2/2e/European_parliament_brussels_inside.JPG") | pictureList.kif 2590-2590 | Law is an instance of deontic attribute |
| (externalImage Law "http://upload.wikimedia.org/wikipedia/commons/5/5f/Advokat%2C_Engelsk_advokatdr%C3%A4kt%2C_Nordisk_familjebok.png") | pictureList.kif 2591-2591 | Law is an instance of deontic attribute |
| appearance as argument number 2 |
|
|
| (subAttribute InternationalLaw Law) | Mid-level-ontology.kif 15432-15432 | International law is a subattribute of law |
| (termFormat EnglishLanguage Law "law") | domainEnglishFormat.kif 33541-33541 | International law is a subattribute of law |
| (termFormat ChineseTraditionalLanguage Law "法") | domainEnglishFormat.kif 33542-33542 | International law is a subattribute of law |
| (termFormat ChineseLanguage Law "法") | domainEnglishFormat.kif 33543-33543 | International law is a subattribute of law |
| consequent |
|
|
| (=> (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 15423-15429 | If X is an instance of passing a bill and Y is a patient of X, then legislative bill is an attribute of Y holds during the beginning of the time of existence of X and law is an attribute of Y holds during the end of the time of existence of X |
| (<=> (modalAttribute ?F1 Legal) (not (exists (?F2) (and (modalAttribute ?F2 Law) (truth (not (and ?F1 ?F2)) True))))) |
Mid-level-ontology.kif 15449-15457 | The statement X has the modal force of legal if and only if there doesn't exist Y such that the statement Y has the modal force of law and ~{ X } or ~{ Y } is true |
| (=> (and (instance ?S LegalSummons) (patient ?S ?O) (destination ?S ?P)) (exists (?C ?T) (and (instance ?C CourtRoom) (containsFormula ?S (modalAttribute (holdsDuring ?T (located ?O ?C)) Law))))) |
Mid-level-ontology.kif 17860-17872 | If X is an instance of legal summons, Y is a patient of X, and X ends up at Z, then there exist W, V such that W is an instance of court room, and X contains the formula the statement Y is located at W holds during V has the modal force of law |
| (=> (instance ?CORPUS RegionalLaw) (attribute ?CORPUS Law)) |
Government.kif 842-844 | If X is an instance of regional law, then law is an attribute of X |
| (=> (and (instance ?CORPUS RegionalLaw) (subProposition ?PART ?CORPUS)) (attribute ?CORPUS Law)) |
Government.kif 846-850 | If X is an instance of regional law and Y is a sub-proposition of X, then law is an attribute of X |
| (=> (and (instance ?DOC ContractDocument) (containsInformation ?DOC ?PROP) (property ?PROP Contract)) (property ?PROP Law)) |
Media.kif 975-980 | If X is an instance of contract document, X contains information Y, and Y the attribute contract, then Y the attribute law |
| statement |
|
|
| (exists (?FORMULA) (and (instance ?FORMULA Formula) (containsFormula ImmigrationAndNationalityAct_US ?FORMULA) (modalAttribute ?FORMULA Law))) |
Government.kif 2372-2376 | There exists X such that X is an instance of formula, immigration and nationality act_US contains the formula X, and the statement X has the modal force of law |
| (exists (?FORMULA) (and (instance ?FORMULA Formula) (containsFormula ImmigrationAndNationalityAct_Section219_US ?FORMULA) (modalAttribute ?FORMULA Law))) |
Government.kif 2379-2383 | There exists X such that X is an instance of formula, immigration and nationality act- section219-US contains the formula X, and the statement X has the modal force of law |
| (exists (?FORMULA) (and (instance ?FORMULA Formula) (containsFormula AntiterrorismAndEffectiveDeathPenaltyAct ?FORMULA) (modalAttribute ?FORMULA Law))) |
Government.kif 2395-2399 | There exists X such that X is an instance of formula, antiterrorism and effective death penalty act contains the formula X, and the statement X has the modal force of law |
| (exists (?FORMULA) (and (instance ?FORMULA Formula) (containsFormula AmericansWithDisabilitiesAct_US ?FORMULA) (modalAttribute ?FORMULA Law))) |
Medicine.kif 3176-3180 | There exists X such that X is an instance of formula, ADA contains the formula X, and the statement X has the modal force of law |
|
