PrivateAttribute
|
|
appearance as argument number 1 |
(documentation PrivateAttribute EnglishLanguage "PrivateAttribute describes how an object is not available to other people without the consent of the current owner") | Mid-level-ontology.kif 27162-27164 | |
(instance PrivateAttribute RelationalAttribute) | Mid-level-ontology.kif 27161-27161 |
appearance as argument number 2 |
(termFormat EnglishLanguage PrivateAttribute "private attribute") | domainEnglishFormat.kif 65360-65360 |
antecedent |
(=> (and (instance ?REST Restaurant) (instance ?DR DiningRoom) (attribute ?DR PrivateAttribute) (possesses ?REST ?DR) (customer ?GRP1 ?REST) (instance ?E1 Eating) (agent ?E1 ?GRP1) (instance ?GRP1 GroupOfPeople)) (modalAttribute (not (exists (?GRP2 ?E2) (and (customer ?GRP2 ?REST) (not (equal ?GRP1 ?GRP2)) (instance ?E2 Eating) (agent ?E2 ?GRP2) (holdsDuring (WhenFn ?E1) (eventLocated ?E2 ?DR))))) Likely)) |
Dining.kif 1227-1246 | |
(=> (attribute ?X PrivateAttribute) (modalAttribute (not (attribute ?X CommunalAttribute)) Likely)) |
Mid-level-ontology.kif 27170-27173 |
consequent |
(=> (attribute ?X CommunalAttribute) (modalAttribute (not (attribute ?X PrivateAttribute)) Likely)) |
Mid-level-ontology.kif 27175-27178 |