LegislativeBill - Sigma Knowledge base Browser

appearance as argument number 1

(instance LegislativeBill DeonticAttribute)	Mid-level-ontology.kif 15405-15405	Legislative bill is an instance of deontic attribute
(documentation LegislativeBill EnglishLanguage "The Attribute of being a proposed law, i.e. being under consideration by a legislative body of Government.")	Mid-level-ontology.kif 15406-15407	Legislative bill is an instance of deontic attribute

appearance as argument number 2

(termFormat EnglishLanguage LegislativeBill "legislative bill")	domainEnglishFormat.kif 33895-33895
(termFormat ChineseTraditionalLanguage LegislativeBill "立法法案")	domainEnglishFormat.kif 33896-33896
(termFormat ChineseLanguage LegislativeBill "立法法案")	domainEnglishFormat.kif 33897-33897

consequent

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