Crib - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Crib EnglishLanguage "A Crib is a Bed for babies")	Mid-level-ontology.kif 4403-4403
(subclass Crib Bed)	Mid-level-ontology.kif 4402-4402	Crib is a subclass of bed

appearance as argument number 2

(termFormat EnglishLanguage Crib "crib")

Mid-level-ontology.kif 4404-4404

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	If a collection is an instance of group of people and a cognitive agent is a member of the collection and a physical is a member of the collection and the physical is an instance of human baby and the cognitive agent is an instance of human adult and an entity is an instance of crib, then the cognitive agent is interested in the entity
(=> (instance ?X Crib) (hasPurpose ?X (exists (?BABY) (and (instance ?BABY HumanBaby) (attribute ?BABY Asleep) (located ?BABY ?X)))))	Mid-level-ontology.kif 4406-4413	If a physical is an instance of crib, then the physical has the purpose there exists an entity such that the entity is an instance of human baby and asleep is an attribute of the entity and the entity is located at the physical

consequent

(=>
    (instance ?X Nursery)
    (exists (?CRIB)
        (and
            (instance ?CRIB Crib)
            (located ?CRIB ?X))))

Mid-level-ontology.kif 28454-28459