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 15218-15219
(externalImage Legal "http://upload.wikimedia.org/wikipedia/commons/5/53/ JMR_Memphis1.jpg") pictureList.kif 11334-11334
(externalImage Legal "http://upload.wikimedia.org/wikipedia/commons/5/5b/ Italian_legal_hardback_books_open.jpg") pictureList.kif 11335-11335
(externalImage Legal "http://upload.wikimedia.org/wikipedia/commons/8/82/ English_Bill_of_Rights_of_1689_%28top%29.jpg") pictureList.kif 11338-11338
(externalImage Legal "http://upload.wikimedia.org/wikipedia/commons/e/e4/ Reagan_Hoover_UCB_memo3.gif") pictureList.kif 11337-11337
(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 11336-11336
(externalImage Legal "http://upload.wikimedia.org/wikipedia/commons/e/e7/ Code_Civil_1804.png") pictureList.kif 10093-10093
(instance Legal DeonticAttribute) Mid-level-ontology.kif 15216-15216 Legal義務的な属性instance では
(subAttribute Legal Permission) Mid-level-ontology.kif 15217-15217 LegalPermissionsubattribute では

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


(contraryAttribute Illegal Legal) Mid-level-ontology.kif 15212-15212 IllegalLegaldisjoint では
(termFormat ChineseLanguage Legal "合法") domainEnglishFormat.kif 33790-33790 IllegalLegaldisjoint では
(termFormat ChineseTraditionalLanguage Legal "合法") domainEnglishFormat.kif 33789-33789 IllegalLegaldisjoint では
(termFormat EnglishLanguage Legal "legal") domainEnglishFormat.kif 33788-33788 IllegalLegaldisjoint では

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


(<=>
    (modalAttribute ?F1 Legal)
    (not
        (exists (?F2)
            (and
                (modalAttribute ?F2 Law)
                (not
                    (consistent ?F1 ?F2))))))
Mid-level-ontology.kif 15221-15228 ステートメント 公式 には Legalmodal force が ある 公式 ステートメント 公式 には Lawmodal force が ある consistent 公式 and 公式
(=>
    (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 532-546
(=>
    (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 579-594
(=>
    (and
        (partyToAgreement ?A1 ?AG)
        (instance ?PROC IntentionalProcess)
        (result ?PROC ?DOC)
        (recordForAgreement ?DOC ?AG)
        (attribute ?AG Legal))
    (holdsDuring
        (WhenFn ?PROC)
        (attribute ?A1 Sober)))
Law.kif 521-530

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 560-577
(=>
    (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 10647-10659
(=>
    (instance ?TEXT MarriageCertificate)
    (attribute ?TEXT Legal))
Biography.kif 311-313
(=>
    (property ?AGREEMENT Contract)
    (forall (?X)
        (=>
            (subProposition ?X ?AGREEMENT)
            (modalAttribute ?X Legal))))
Mid-level-ontology.kif 15513-15518


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