| Crib | |
| appearance as argument number 1 |
|
|
| (documentation Crib EnglishLanguage "A Crib is a Bed for babies") | Mid-level-ontology.kif 4384-4384 | |
| (subclass Crib Bed) | Mid-level-ontology.kif 4383-4383 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Crib "crib") | Mid-level-ontology.kif 4385-4385 |
| antecedent |
|
|
| (=> (and (instance ?GRP GroupOfPeople) (member ?ADULT ?GRP) (member ?BABY ?GRP) (instance ?BABY HumanBaby) (instance ?ADULT HumanAdult) (instance ?CRIB Crib)) (inScopeOfInterest ?ADULT ?CRIB)) |
Hotel.kif 1278-1286 | |
| (=> (instance ?X Crib) (hasPurpose ?X (exists (?BABY) (and (instance ?BABY HumanBaby) (attribute ?BABY Asleep) (located ?BABY ?X))))) |
Mid-level-ontology.kif 4387-4394 |
| consequent |
|
|
| (=> (instance ?X Nursery) (exists (?CRIB) (and (instance ?CRIB Crib) (located ?CRIB ?X)))) |
Mid-level-ontology.kif 28697-28702 |
|
|
|