TreeView Knowledge Base Browser

appearance as argument number 1

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

appearance as argument number 2

(termFormat EnglishLanguage PassingABill "passing a bill")	domainEnglishFormat.kif 44705-44705
(termFormat ChineseTraditionalLanguage PassingABill "通過法案")	domainEnglishFormat.kif 44706-44706
(termFormat ChineseLanguage PassingABill "通过法案")	domainEnglishFormat.kif 44707-44707

antecedent

(=>
    (and
        (instance ?PASS PassingABill)
        (patient ?PASS ?TEXT))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?PASS))
            (attribute ?TEXT LegislativeBill))
        (holdsDuring
            (EndFn
                (WhenFn ?PASS))
            (attribute ?TEXT Law))))

If X is an instance of passing a bill and Y is a patient of X, then legislative bill is an attribute of Y holds during the beginning of the time of existence of X and law is an attribute of Y holds during the end of the time of existence of X

consequent