| Crib | |
| appearance as argument number 1 |
|
|
| (documentation Crib EnglishLanguage "A Crib is a Bed for babies") | Mid-level-ontology.kif 3869-3869 | |
| (subclass Crib Bed) | Mid-level-ontology.kif 3868-3868 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Crib "crib") | Mid-level-ontology.kif 3870-3870 |
| 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 1235-1243 | |
| (=> (instance ?X Crib) (hasPurpose ?X (exists (?BABY) (and (instance ?BABY HumanBaby) (attribute ?BABY Asleep) (located ?BABY ?X))))) |
Mid-level-ontology.kif 3872-3879 |
| consequent |
|
|
| (=> (instance ?X Nursery) (exists (?CRIB) (and (instance ?CRIB Crib) (located ?CRIB ?X)))) |
Mid-level-ontology.kif 22990-22995 |
|
|
|