Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Legal
Legal
more pictures...

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 14065-14066
(externalImage Legal "http://upload.wikimedia.org/wikipedia/commons/5/53/ JMR-Memphis1.jpg") pictureList.kif 11340-11340
(externalImage Legal "http://upload.wikimedia.org/wikipedia/commons/5/5b/ Italian_legal_hardback_books_open.jpg") pictureList.kif 11341-11341
(externalImage Legal "http://upload.wikimedia.org/wikipedia/commons/8/82/ English_Bill_of_Rights_of_1689_%28top%29.jpg") pictureList.kif 11344-11344
(externalImage Legal "http://upload.wikimedia.org/wikipedia/commons/e/e4/ Reagan-Hoover_UCB_memo3.gif") pictureList.kif 11343-11343
(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 11342-11342
(externalImage Legal "http://upload.wikimedia.org/wikipedia/commons/e/e7/ Code_Civil_1804.png") pictureList.kif 10094-10094
(instance Legal DeonticAttribute) Mid-level-ontology.kif 14063-14063
(subAttribute Legal Permission) Mid-level-ontology.kif 14064-14064

appearance as argument number 2
-------------------------


(contraryAttribute Illegal Legal) Mid-level-ontology.kif 14059-14059
(termFormat ChineseLanguage Legal "合法") domainEnglishFormat.kif 33808-33808
(termFormat ChineseTraditionalLanguage Legal "合法") domainEnglishFormat.kif 33807-33807
(termFormat EnglishLanguage Legal "legal") domainEnglishFormat.kif 33806-33806

antecedent
-------------------------


(<=>
    (modalAttribute ?F1 Legal)
    (not
        (exists (?F2)
            (and
                (modalAttribute ?F2 Law)
                (not
                    (consistent ?F1 ?F2))))))		 Mid-level-ontology.kif 14068-14075
(=>
    (and
        (instance ?PROC IntentionalProcess)
        (result ?PROC ?DOC)
        (recordForAgreement ?DOC ?AG)
        (attribute ?AG Legal))
    (exists (?O ?A ?A1 ?A2)
        (and
            (instance ?O Offering)
            (instance ?A ReachingAgreement)
            (refers ?O ?AG)
            (refers ?A ?AG)
            (agent ?O ?A1)
            (agent ?A ?A2)
            (earlier
                (WhenFn ?O)
                (WhenFn ?A)))))		 Law.kif 526-540
(=>
    (and
        (partyToAgreement ?A1 ?AG)
        (instance ?PROC IntentionalProcess)
        (located ?PROC ?LOC)
        (instance ?LOC GeopoliticalArea)
        (ageOfMajorityForProcess
            (MeasureFn ?N YearDuration) ?LOC ?PROC)
        (result ?PROC ?DOC)
        (recordForAgreement ?DOC ?AG)
        (attribute ?AG Legal))
    (holdsDuring
        (WhenFn ?PROC)
        (and
            (age ?A1
                (MeasureFn ?N2 YearDuration))
            (greaterThan ?N2 ?N))))		 Law.kif 573-588
(=>
    (and
        (partyToAgreement ?A1 ?AG)
        (instance ?PROC IntentionalProcess)
        (result ?PROC ?DOC)
        (recordForAgreement ?DOC ?AG)
        (attribute ?AG Legal))
    (holdsDuring
        (WhenFn ?PROC)
        (attribute ?A1 Sober)))		 Law.kif 515-524

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 554-571
(=>
    (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 9536-9548
(=>
    (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 14360-14365


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