Illegal | ![]() |
appearance as argument number 1 |
![]() |
(contraryAttribute Illegal Legal) | Mid-level-ontology.kif 15212-15212 | |
(documentation Illegal EnglishLanguage "A proposition is Illegal just in case it is inconsistent with any proposition that is a Law.") | Mid-level-ontology.kif 15213-15214 | |
(instance Illegal DeonticAttribute) | Mid-level-ontology.kif 15210-15210 | |
(subAttribute Illegal Prohibition) | Mid-level-ontology.kif 15211-15211 |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Illegal "非法") | domainEnglishFormat.kif 29252-29252 | |
(termFormat ChineseTraditionalLanguage Illegal "非法") | domainEnglishFormat.kif 29251-29251 | |
(termFormat EnglishLanguage Illegal "illegal") | domainEnglishFormat.kif 29250-29250 |
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 19862-19872 | |
(=> (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 10625-10637 |
![]() |
![]() |