Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  SineFn
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Nursery Room) | Mid-level-ontology.kif 29386-29386 | Nursery is a subclass of room |
| (documentation Nursery EnglishLanguage "Nursery refers to a Room for babies") | Mid-level-ontology.kif 29387-29387 | Nursery is a subclass of room |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Nursery "nursery") | Mid-level-ontology.kif 29388-29388 |
| antecedent |
|
|
| (=> (instance ?X Nursery) (exists (?CRIB) (and (instance ?CRIB Crib) (located ?CRIB ?X)))) |
Mid-level-ontology.kif 29390-29395 | If X is an instance of nursery, then there exists Y such that Y is an instance of crib and Y is located at X |
| (=> (and (instance ?X Nursery) (element ?X (PropertyFn ?HOTEL)) (attribute ?HOTEL TravelerAccommodation)) (exists (?NANNY ?CARE) (and (attribute ?X CommunalAttribute) (employs ?HOTEL ?NANNY) (hasPurpose ?NANNY (and (instance ?CARE ChildCareService) (serviceProvider ?CARE ?NANNY)))))) |
Hotel.kif 1920-1932 | If X is an instance of nursery, X is an element of belongings of Y, and traveler accommodation is an attribute of Y, then there exist Z, W such that communal is an attribute of X, Y employs Z, Z has the purpose W is an instance of child-care service, and Z provides a service during W |
|