TreeView Knowledge Base Browser

appearance as argument number 2

(termFormat EnglishLanguage Crib "crib")

antecedent

(=> (instance ?X Crib) (hasPurpose ?X (exists (?BABY) (and (instance ?BABY HumanBaby) (attribute ?BABY Asleep) (located ?BABY ?X)))))	Mid-level-ontology.kif 4590-4597	If X is an instance of crib, then X has the purpose there exists Y such that Y is an instance of human baby, asleep is an attribute of Y, and Y is located at X
(=> (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 All of the following hold: (1) X is an instance of group of people (2) Y is a member of X (3) Z is a member of X (4) Z is an instance of human baby (5) Y is an instance of human adult (6) W is an instance of crib, then Y is interested in W

consequent

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

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

(subclass Crib Bed)	Mid-level-ontology.kif 4586-4586	Crib is a subclass of bed
(documentation Crib EnglishLanguage "A Crib is a Bed for babies")	Mid-level-ontology.kif 4587-4587	Crib is a subclass of bed
(defaultMinimumHeight Crib (MeasureFn 30 Inch))	DimensioningAmenities.kif 80-80	The minimum expected height of crib is 30 inch(s)
(defaultMaximumHeight Crib (MeasureFn 60 Inch))	DimensioningAmenities.kif 81-81	The maximum expected height of crib is 60 inch(s)
(defaultMinimumWidth Crib (MeasureFn 30 Inch))	DimensioningAmenities.kif 82-82	The minimum expected width of crib is 30 inch(s)
(defaultMaximumWidth Crib (MeasureFn 32 Inch))	DimensioningAmenities.kif 83-83	The maximum expected width of crib is 32 inch(s)
(defaultMinimumLength Crib (MeasureFn 39 Inch))	DimensioningAmenities.kif 84-84	The minimum expected length of crib is 39 inch(s)
(defaultMaximumLength Crib (MeasureFn 54 Inch))	DimensioningAmenities.kif 85-85	The maximum expected length of crib is 54 inch(s)
(defaultMinimumMeasure Crib (MeasureFn 30 PoundMass))	DimensioningAmenities.kif 86-86	The minimum expected value of crib is 30 pound mass(s)
(defaultMaximumMeasure Crib (MeasureFn 100 PoundMass))	DimensioningAmenities.kif 87-87	The maximum expected value of crib is 100 pound mass(s)