| CommunalAttribute | |
| appearance as argument number 1 |
|
|
| (documentation CommunalAttribute EnglishLanguage "CommunalAttribute describes how an Object is shared by many") | Mid-level-ontology.kif 25443-25444 | |
| (instance CommunalAttribute RelationalAttribute) | Mid-level-ontology.kif 25442-25442 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage CommunalAttribute "communal") | Mid-level-ontology.kif 25445-25445 |
| antecedent |
|
|
| (=> (and (attribute ?X CommunalAttribute) (instance ?X Table) (instance ?E1 Eating) (agent ?E1 ?GRP1) (instance ?GRP1 GroupOfPeople) (eventLocated ?E1 ?X)) (modalAttribute (exists (?GRP2 ?E2) (and (instance ?E2 Eating) (agent ?E2 ?GRP2) (not (equal ?GRP1 ?GRP2)) (instance ?GRP2 GroupOfPeople) (eventLocated ?E2 ?X2) (meetsTemporally (WhenFn ?E1) (WhenFn ?E2)) (equal ?X ?X2))) Possibility)) |
Dining.kif 1154-1171 | |
| (=> (attribute ?X CommunalAttribute) (instance ?X Object)) |
Mid-level-ontology.kif 25452-25454 | |
| (=> (attribute ?X CommunalAttribute) (modalAttribute (not (attribute ?X PrivateAttribute)) Likely)) |
Mid-level-ontology.kif 25461-25464 |
| consequent |
|
|
| (=> (and (instance ?X Nursery) (element ?X (PropertyFn ?HOTEL)) (attribute ?HOTEL TravelerAccommodation)) (and (attribute ?X CommunalAttribute) (employs ?HOTEL ?NANNY) (hasPurpose ?NANNY (exists (?CARE) (and (instance ?CARE ChildCareService) (serviceProvider ?CARE ?NANNY)))))) |
Hotel.kif 1850-1862 | |
| (=> (attribute ?X PrivateAttribute) (modalAttribute (not (attribute ?X CommunalAttribute)) Likely)) |
Mid-level-ontology.kif 25456-25459 | |
| (=> (instance ?ROOM SelfServiceLaundry) (attribute ?ROOM CommunalAttribute)) |
Mid-level-ontology.kif 23347-23349 | |
| (=> (instance ?X Buffet) (attribute ?X CommunalAttribute)) |
Dining.kif 263-265 |
|
|
|