|
|
  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 27077-27079 | |
| (instance PrivateAttribute RelationalAttribute) | Mid-level-ontology.kif 27076-27076 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage PrivateAttribute "private attribute") | domainEnglishFormat.kif 65725-65725 |
| 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 27085-27088 |
| consequent |
|
|
| (=> (attribute ?X CommunalAttribute) (modalAttribute (not (attribute ?X PrivateAttribute)) Likely)) |
Mid-level-ontology.kif 27090-27093 |
|
|
|