|
|
  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 26532-26534 | |
| (instance PrivateAttribute RelationalAttribute) | Mid-level-ontology.kif 26531-26531 |
| 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) (and (customer ?GRP2 ?REST) (not (equal ?GRP1 ?GRP2)) (instance ?E2 Eating) (agent ?E2 ?GRP2) (holdsDuring (WhenFn ?E1) (eventLocated ?E2 ?DR))))) Likely)) |
Dining.kif 1180-1199 | |
| (=> (attribute ?X PrivateAttribute) (modalAttribute (not (attribute ?X CommunalAttribute)) Likely)) |
Mid-level-ontology.kif 26540-26543 |
| consequent |
|
|
| (=> (attribute ?X CommunalAttribute) (modalAttribute (not (attribute ?X PrivateAttribute)) Likely)) |
Mid-level-ontology.kif 26545-26548 |
|
|
|