TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Bathroom Room)	Mid-level-ontology.kif 17092-17092	Bathroom is a subclass of room
(documentation Bathroom EnglishLanguage "A Room that contains a WashBasin and possibly a Toilet.")	Mid-level-ontology.kif 17093-17094	Bathroom is a subclass of room
(defaultMinimumMeasure Bathroom (MeasureFn 1 SquareYard))	DimensioningAmenities.kif 125-125	The minimum expected value of bathroom is 1 square yard(s)
(defaultMaximumMeasure Bathroom (MeasureFn 16 SquareYard))	DimensioningAmenities.kif 126-126	The maximum expected value of bathroom is 16 square yard(s)
(externalImage Bathroom "http://upload.wikimedia.org/wikipedia/commons/6/ 6e/ A_typical_American_bathroom.jpg")	pictureList.kif 4538-4538	The maximum expected value of bathroom is 16 square yard(s)

appearance as argument number 2

(termFormat EnglishLanguage Bathroom "bathroom")	domainEnglishFormat.kif 10180-10180
(termFormat ChineseTraditionalLanguage Bathroom "浴室")	domainEnglishFormat.kif 10181-10181
(termFormat ChineseLanguage Bathroom "浴室")	domainEnglishFormat.kif 10182-10182
(typicalPart Faucet Bathroom)	engineering.kif 1343-1343	A faucet is typically a part of a bathroom

antecedent

(=>
    (instance ?B Bathroom)
    (exists (?W)
        (and
            (instance ?W WashBasin)
            (located ?W ?B))))

If X is an instance of bathroom, then there exists Y such that Y is an instance of wash basin and Y is located at X

consequent

(=>
    (and
        (located ?T ?R)
        (instance ?T Toilet)
        (instance ?R Room))
    (instance ?R Bathroom))

If X is located at Y, X is an instance of toilet, and Y is an instance of room, then Y is an instance of bathroom