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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PassingABill
PassingABill(passingA bill)
more pictures...
enactment, establish, lay_down, legislate, make, pass, passage

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


(documentation PassingABill EnglishLanguage "The Process of converting a LegislativeBill into Law by a duly authorized legislative body of Government.") Mid-level-ontology.kif 14041-14042
(externalImage PassingABill "http://upload.wikimedia.org/wikipedia/commons/ 1/ 18/ Uscapitolindaylight.jpg") pictureList.kif 3174-3174
(externalImage PassingABill "http://upload.wikimedia.org/wikipedia/commons/ 3/ 36/ James_Madison_Bill_of_Rights_%245_commemorative_obverse.jpg") pictureList.kif 3173-3173
(externalImage PassingABill "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4e/ English_Bill_of_Rights_of_1689_%28middle%29.jpg") pictureList.kif 3170-3170
(externalImage PassingABill "http://upload.wikimedia.org/wikipedia/commons/ 7/ 76/ State_of_the_Union.jpg") pictureList.kif 2981-2981
(externalImage PassingABill "http://upload.wikimedia.org/wikipedia/commons/ e/ e3/ English_Bill_of_Rights_of_1689.jpg") pictureList.kif 3169-3169
(subclass PassingABill Declaring) Mid-level-ontology.kif 14040-14040 PassingA bill is a subclass of declaring
(subclass PassingABill PoliticalProcess) Mid-level-ontology.kif 14039-14039 PassingA bill is a subclass of political process

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


(termFormat ChineseLanguage PassingABill "通过法案") domainEnglishFormat.kif 44750-44750
(termFormat ChineseTraditionalLanguage PassingABill "通過法案") domainEnglishFormat.kif 44749-44749
(termFormat EnglishLanguage PassingABill "passingA bill") domainEnglishFormat.kif 44748-44748

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


(=>
    (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 14044-14050

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


(=>
    (instance ?ORG LegislativeOrganization)
    (capability PassingABill agent ?ORG))
Government.kif 1901-1903


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