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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Law
Law(law)
FISA, Foreign_Intelligence_Surveillance_Act, Islamic_law, Justinian_code, Law_of_Moses, Monroe_Doctrine, Mosaic_law, New_Deal, RICO, RICO_Act, Racketeer_Influenced_and_Corrupt_Organizations_Act, Riot_Act, Roman_law, Salic_law, Stamp_Act, Truman_doctrine, U._S._Code, United_States_Code, Zionism, adjective, administrative_law, admiralty_law, advice_and_consent, affirmative_action, amended, anti-drug_law, anti-racketeering_law, antimonopoly, antitrust, antitrust_law, antitrust_legislation, apartheid, ban, banning-order, best_evidence_rule, blue_law, blue_sky_law, brinkmanship, building_code, bull, bylaw, canon_law, cease_and_desist_order, civil_law, commercial_law, consent_decree, constitution, control, criminal_law, curfew...

appearance as argument number 1
-------------------------


(documentation Law ChineseLanguage "这是属于应用于由政府或政府一个部门 %Proposition 的 Attribute,而违规的话会遭处罚。这些 Proposition 可以编纂成法例,或是如政府政策一样属非正式的。") chinese_format.kif 3909-3910
(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 17560-17563
(externalImage Law "http://upload.wikimedia.org/wikipedia/commons/2/2e/European-parliament-brussels-inside.JPG") pictureList.kif 2591-2591
(externalImage Law "http://upload.wikimedia.org/wikipedia/commons/5/53/JMR-Memphis1.jpg") pictureList.kif 2482-2482
(externalImage Law "http://upload.wikimedia.org/wikipedia/commons/5/5f/Advokat%2C_Engelsk_advokatdr%C3%A4kt%2C_Nordisk_familjebok.png") pictureList.kif 2592-2592
(externalImage Law "http://upload.wikimedia.org/wikipedia/commons/e/e7/Code_Civil_1804.png") pictureList.kif 2590-2590
(instance Law DeonticAttribute) Merge.kif 17559-17559 Law is an instance of deontic attribute
(subAttribute Law Obligation) Merge.kif 17558-17558 Law is a subattribute of obligation

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


(modalAttribute AmericansWithDisabilitiesAct-US Law) Medicine.kif 3170-3170 The statement ADA has the modal force of law
(modalAttribute AntiterrorismAndEffectiveDeathPenaltyAct Law) Government.kif 2371-2371 The statement antiterrorism and effective death penalty act has the modal force of law
(modalAttribute ImmigrationAndNationalityAct-Section219-US Law) Government.kif 2369-2369 The statement immigration and nationality act- section219-US has the modal force of law
(modalAttribute ImmigrationAndNationalityAct-US Law) Government.kif 2366-2366 The statement immigration and nationality act-US has the modal force of law
(subAttribute InternationalLaw Law) Mid-level-ontology.kif 13862-13862 International law is a subattribute of law
(termFormat ChineseLanguage Law "法") domainEnglishFormat.kif 33539-33539
(termFormat ChineseTraditionalLanguage Law "法") domainEnglishFormat.kif 33538-33538
(termFormat EnglishLanguage Law "law") domainEnglishFormat.kif 33537-33537

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


(=>
    (holdsDuring ?TIME1
        (modalAttribute ?TEXT Law))
    (exists (?TIME2)
        (and
            (holdsDuring ?TIME2
                (attribute ?TEXT LegislativeBill))
            (earlier ?TIME2 ?TIME1))))
Mid-level-ontology.kif 13841-13846

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


(<=>
    (modalAttribute ?F1 Legal)
    (not
        (exists (?F2)
            (and
                (modalAttribute ?F2 Law)
                (not
                    (consistent ?F1 ?F2))))))
Mid-level-ontology.kif 13877-13884 The statement a formula has the modal force of legal if and only if there doesn't exist another formula such that the statement the other formula has the modal force of law and the other formula is not a consistent of the formula
(=>
    (and
        (instance ?CORPUS RegionalLaw)
        (subProposition ?PART ?CORPUS))
    (attribute ?CORPUS Law))
Government.kif 839-843
(=>
    (and
        (instance ?DOC ContractDocument)
        (containsInformation ?DOC ?PROP)
        (property ?PROP Contract))
    (property ?PROP Law))
Media.kif 995-1000
(=>
    (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 13853-13859
(=>
    (and
        (instance ?S LegalSummons)
        (patient ?S ?O)
        (destination ?S ?P))
    (exists (?C ?T)
        (and
            (instance ?C CourtRoom)
            (containsInformation ?O
                (modalAttribute
                    (holdsDuring ?T
                        (located ?P ?C)) Law)))))
Mid-level-ontology.kif 16254-16266
(=>
    (instance ?ACTION CriminalAction)
    (exists (?LAW ?CONTENT ?CRIME)
        (and
            (modalAttribute ?LAW Law)
            (containsInformation ?LAW ?CONTENT)
            (realization ?ACTION ?CRIME)
            (not
                (consistent ?CONTENT ?CRIME)))))
Mid-level-ontology.kif 13889-13896
(=>
    (instance ?CORPUS RegionalLaw)
    (attribute ?CORPUS Law))
Government.kif 835-837


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