TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Crib EnglishLanguage "A Crib is a Bed for babies")	Mid-level-ontology.kif 3934-3934
(subclass Crib Bed)	Mid-level-ontology.kif 3933-3933	子類 Crib and 床

appearance as argument number 2

(termFormat EnglishLanguage Crib "crib")

Mid-level-ontology.kif 3935-3935

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 1270-1278	例 Collection and 一群人會員 CognitiveAgent and Collection 會員 Physical and Collection 例 Physical and 人類寶貝例 CognitiveAgent and 人類成人例 Entity and Crib 在感興趣的範圍內 CognitiveAgent and Entity
(=> (instance ?X Crib) (hasPurpose ?X (exists (?BABY) (and (instance ?BABY HumanBaby) (attribute ?BABY Asleep) (located ?BABY ?X)))))	Mid-level-ontology.kif 3937-3944	例 Physical and Crib 有目的 Physical and entity 例 entity and 人類寶貝 attribute entity and Asleep 位於 entity and Physical

consequent

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

Mid-level-ontology.kif 26829-26834