Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   HumanBaby
|
|
|
| appearance as argument number 1 |
|
|
| (subclass DiningRoom Room) | Mid-level-ontology.kif 17179-17179 | Dining room is a subclass of room |
| (subclass DiningRoom DiningArea) | Mid-level-ontology.kif 17180-17180 | Dining room is a subclass of dining area |
| (documentation DiningRoom EnglishLanguage "A Room intended primarily for Eating.") | Mid-level-ontology.kif 17181-17181 | Dining room is a subclass of dining area |
| (externalImage DiningRoom "http://upload.wikimedia.org/wikipedia/commons/ 9/ 92/ Dining_room.jpg") | pictureList.kif 4653-4653 | Dining room is a subclass of dining area |
| appearance as argument number 2 |
|
|
| 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 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 |
|
