TreeView Knowledge Base Browser

appearance as argument number 2

(termFormat EnglishLanguage HighRise "high rise")

antecedent

(=>
    (and
        (instance ?X HighRise)
        (memberType ?LEVELS BuildingLevel)
        (part ?FLR ?X)
        (member ?FLR ?LEVELS)
        (instance ?LEVELS CollectionOfObjects)
        (memberCount ?LEVELS ?NUM))
    (greaterThanOrEqualTo ?NUM 10))

If All of the following hold: (1) X is an instance of high rise (2) building level is a member type of Y (3) Z is a part of X (4) Z is a member of Y (5) Y is an instance of collection (6) W is a member count of Y, then W is greater than or equal to 10

consequent

(=>
    (attribute ?ROOM TowerRoom)
    (exists (?BLDG)
        (and
            (instance ?BLDG HighRise)
            (located ?ROOM ?BLDG))))

If tower room is an attribute of X, then there exists Y such that Y is an instance of high rise and X is located at Y

(subclass HighRise Building)	Mid-level-ontology.kif 29101-29101	High rise is a subclass of building
(documentation HighRise EnglishLanguage "HighRise refers to a type of Building that has greater than 10 BuildingLevel")	Mid-level-ontology.kif 29102-29103	High rise is a subclass of building