| Illegal | |
| appearance as argument number 1 |
|
|
| (contraryAttribute Illegal Legal) | Mid-level-ontology.kif 14059-14059 | |
| (documentation Illegal EnglishLanguage "A proposition is Illegal just in case it is inconsistent with any proposition that is a Law.") | Mid-level-ontology.kif 14060-14061 | |
| (instance Illegal DeonticAttribute) | Mid-level-ontology.kif 14057-14057 | |
| (subAttribute Illegal Prohibition) | Mid-level-ontology.kif 14058-14058 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Illegal "非法") | domainEnglishFormat.kif 29270-29270 | |
| (termFormat ChineseTraditionalLanguage Illegal "非法") | domainEnglishFormat.kif 29269-29269 | |
| (termFormat EnglishLanguage Illegal "illegal") | domainEnglishFormat.kif 29268-29268 |
| consequent |
|
|
| (=> (and (instance ?T Trespassing) (agent ?T ?H) (patient ?T ?P)) (and (not (possesses ?H ?P)) (modalAttribute (located ?H ?P) Illegal))) |
Mid-level-ontology.kif 18549-18559 | |
| (=> (attribute ?X USPrescriptionDrug) (modalAttribute (exists (?B) (and (instance ?B Buying) (objectTransferred ?B ?X) (not (exists (?P) (and (instance ?P Prescription) (refers ?P ?X)))))) Illegal)) |
Mid-level-ontology.kif 9514-9526 |
|
|
|