|
|
  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 27195-27197 | |
| (instance PrivateAttribute RelationalAttribute) | Mid-level-ontology.kif 27194-27194 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage PrivateAttribute "private attribute") | domainEnglishFormat.kif 65362-65362 |
| 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 27203-27206 |
| consequent |
|
|
| (=> (attribute ?X CommunalAttribute) (modalAttribute (not (attribute ?X PrivateAttribute)) Likely)) |
Mid-level-ontology.kif 27208-27211 |
|
|
|