LegislativeBill
|
|
appearance as argument number 1 |
(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 13811-13812 | |
(instance LegislativeBill DeonticAttribute) | Mid-level-ontology.kif 13810-13810 | 立法法案 是 道义属性 的 instance |
appearance as argument number 2 |
(termFormat ChineseLanguage LegislativeBill "立法法案") | domainEnglishFormat.kif 33893-33893 | |
(termFormat ChineseTraditionalLanguage LegislativeBill "立法法案") | domainEnglishFormat.kif 33892-33892 | |
(termFormat EnglishLanguage LegislativeBill "legislative bill") | domainEnglishFormat.kif 33891-33891 |
consequent |
(=> (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 13826-13832 | |
(=> (holdsDuring ?TIME1 (modalAttribute ?TEXT Law)) (exists (?TIME2) (and (holdsDuring ?TIME2 (attribute ?TEXT LegislativeBill)) (earlier ?TIME2 ?TIME1)))) |
Mid-level-ontology.kif 13814-13819 |