Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| PrivateAttribute(private attribute) |
| appearance as argument number 1 |
|
| (instance PrivateAttribute RelationalAttribute) | Mid-level-ontology.kif 29757-29757 | Private attribute is an instance of relational attribute |
| (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 29758-29760 | Private attribute is an instance of relational attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage PrivateAttribute "private attribute") | domainEnglishFormat.kif 65363-65363 |
| antecedent |
|
|
| (=> (attribute ?X PrivateAttribute) (modalAttribute (not (attribute ?X CommunalAttribute)) Likely)) |
Mid-level-ontology.kif 29766-29769 | If private attribute is an attribute of X, then the statement communal is not an attribute of X has the modal force of likely |
| (=> (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 1230-1249 | If All of the following hold: (1) X is an instance of restaurant (2) Y is an instance of dining room (3) private attribute is an attribute of Y (4) X possesses Y (5) X is a customer of Z (6) W is an instance of eating (7) Z is an agent of W (8) Z is an instance of group of people, then All of the following hold: (1) the statement there don't exist V (2) U such that X is a customer of V (3) equal Z (4) V (5) U is an instance of eating (6) V is an agent of U (7) U is located at Y holds during the time of existence of W has the modal force of likely |
| consequent |
|
|
| (=> (attribute ?X CommunalAttribute) (modalAttribute (not (attribute ?X PrivateAttribute)) Likely)) |
Mid-level-ontology.kif 29771-29774 | If communal is an attribute of X, then the statement private attribute is not an attribute of X has the modal force of likely |
|