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 11449-11450
(externalImage Legal "http://upload.wikimedia.org/wikipedia/commons/5/53/ JMR-Memphis1.jpg") pictureList.kif 11368-11368
(externalImage Legal "http://upload.wikimedia.org/wikipedia/commons/5/5b/ Italian_legal_hardback_books_open.jpg") pictureList.kif 11369-11369
(externalImage Legal "http://upload.wikimedia.org/wikipedia/commons/8/82/ English_Bill_of_Rights_of_1689_%28top%29.jpg") pictureList.kif 11372-11372
(externalImage Legal "http://upload.wikimedia.org/wikipedia/commons/e/e4/ Reagan-Hoover_UCB_memo3.gif") pictureList.kif 11371-11371
(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 11370-11370
(externalImage Legal "http://upload.wikimedia.org/wikipedia/commons/e/e7/ Code_Civil_1804.png") pictureList.kif 10115-10115
(instance Legal DeonticAttribute) Mid-level-ontology.kif 11447-11447
(subAttribute Legal Permission) Mid-level-ontology.kif 11448-11448

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


(contraryAttribute Illegal Legal) Mid-level-ontology.kif 11443-11443
(termFormat ChineseLanguage Legal "合法") domainEnglishFormat.kif 33691-33691
(termFormat ChineseTraditionalLanguage Legal "合法") domainEnglishFormat.kif 33690-33690
(termFormat EnglishLanguage Legal "legal") domainEnglishFormat.kif 33689-33689

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


(<=>
    (modalAttribute ?F1 Legal)
    (not
        (exists (?F2)
            (and
                (modalAttribute ?F2 Law)
                (not
                    (consistent ?F1 ?F2))))))
Mid-level-ontology.kif 11452-11459
(=>
    (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 572-586
(=>
    (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 619-634
(=>
    (and
        (partyToAgreement ?A1 ?AG)
        (instance ?PROC IntentionalProcess)
        (result ?PROC ?DOC)
        (recordForAgreement ?DOC ?AG)
        (attribute ?AG Legal))
    (holdsDuring
        (WhenFn ?PROC)
        (attribute ?A1 Sober)))
Law.kif 561-570

consequent
-------------------------


(=>
    (and
        (governmentType ?PLACE Monarchy)
        (instance ?MONARCH Human)
        (instance ?SUCCESSOR Human)
        (holdsDuring ?T1
            (chiefOfState ?PLACE ?ROLE ?MONARCH))
        (holdsDuring ?T2
            (chiefOfState ?PLACE ?ROLE ?SUCCESSOR))
        (earlier ?T1 ?T2))
    (confersNorm
        (relative ?MONARCH ?SUCCESSOR)
        (chiefOfState ?PLACE ?ROLE ?SUCCESSOR) Legal))
Government.kif 209-221
(=>
    (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 600-617
(=>
    (property ?AGREEMENT Contract)
    (forall (?X)
        (=>
            (subProposition ?X ?AGREEMENT)
            (modalAttribute ?X Legal))))
Mid-level-ontology.kif 11757-11762


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners