|
|
  Legal
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Legal EnglishLanguage "A proposition is Legal just in case it is not inconsistent with any proposition that is a Law.") | Mid-level-ontology.kif 13717-13718 | |
| (externalImage Legal "http://upload.wikimedia.org/wikipedia/commons/5/53/ JMR-Memphis1.jpg") | pictureList.kif 11350-11350 | |
| (externalImage Legal "http://upload.wikimedia.org/wikipedia/commons/5/5b/ Italian_legal_hardback_books_open.jpg") | pictureList.kif 11351-11351 | |
| (externalImage Legal "http://upload.wikimedia.org/wikipedia/commons/8/82/ English_Bill_of_Rights_of_1689_%28top%29.jpg") | pictureList.kif 11354-11354 | |
| (externalImage Legal "http://upload.wikimedia.org/wikipedia/commons/e/e4/ Reagan-Hoover_UCB_memo3.gif") | pictureList.kif 11353-11353 | |
| (externalImage Legal "http://upload.wikimedia.org/wikipedia/commons/e/e6/ Legal_Review_of_AR_15-6_Investigation_Regarding_Allegations_of_Soldiers_Misconduct_Published_in_The_New_Republic_-_Page_1.jpg") | pictureList.kif 11352-11352 | |
| (externalImage Legal "http://upload.wikimedia.org/wikipedia/commons/e/e7/ Code_Civil_1804.png") | pictureList.kif 10097-10097 | |
| (instance Legal DeonticAttribute) | Mid-level-ontology.kif 13715-13715 | |
| (subAttribute Legal Permission) | Mid-level-ontology.kif 13716-13716 |
| appearance as argument number 2 |
|
|
| (contraryAttribute Illegal Legal) | Mid-level-ontology.kif 13711-13711 | |
| (termFormat ChineseLanguage Legal "合法") | domainEnglishFormat.kif 33788-33788 | |
| (termFormat ChineseTraditionalLanguage Legal "合法") | domainEnglishFormat.kif 33787-33787 | |
| (termFormat EnglishLanguage Legal "legal") | domainEnglishFormat.kif 33786-33786 |
| antecedent |
|
|
| consequent |
|
|
| (=> (and (partyToAgreement ?A1 ?AG) (instance ?PROC IntentionalProcess) (located ?PROC ?LOC) (instance ?LOC Nation) (located ?PROC ?LOC2) (instance ?LOC2 GeopoliticalArea) (ageOfMajorityForProcess (MeasureFn ?N2 YearDuration) ?LOC ?PROC) (result ?PROC ?DOC) (recordForAgreement ?DOC ?AG) (holdsDuring (WhenFn ?PROC) (and (age ?A1 (MeasureFn ?N3 YearDuration)) (greaterThan ?N3 ?N2)))) (attribute ?AG Legal)) |
Law.kif 577-594 | |
| (=> (attribute ?X USNonPrescriptionDrug) (modalAttribute (exists (?B) (and (instance ?B Buying) (objectTransferred ?B ?X) (not (exists (?P) (and (instance ?P Prescription) (refers ?P ?X)))))) Legal)) |
Mid-level-ontology.kif 9285-9297 | |
| (=> (instance ?TEXT MarriageCertificate) (attribute ?TEXT Legal)) |
Biography.kif 303-305 | |
| (=> (property ?AGREEMENT Contract) (forall (?X) (=> (subProposition ?X ?AGREEMENT) (modalAttribute ?X Legal)))) |
Mid-level-ontology.kif 14012-14017 |
|
|
|
