antecedent

(=>     (and         (unitNumber ?UNITSTR ?PLACE)         (floorCode ?FLRCODE ?PLACE))     (exists (?UNIT ?FLOOR)         (and             (instance ?FLOOR BuildingLevel)             (instance ?UNIT Room)             (located ?UNIT ?FLOOR)             (part ?FLOOR ?PLACE)             (names ?UNITSTR ?UNIT)             (names ?FLRCODE ?FLOOR))))	Mid-level-ontology.kif 26914-26925	If the unit number of X is Y and Z is the floor of X, then All of the following hold: (1) there exist W (2) V such that V is an instance of building level (3) W is an instance of room (4) W is located at V (5) V is a part of X (6) W has name Y (7) V has name Z
(=>     (and         (unitNumber ?UNITSTR ?PLACE)         (not             (exists (?FLR)                 (floorCode ?FLR ?PLACE))))     (exists (?UNIT)         (and             (instance ?UNIT Room)             (names ?UNITSTR ?UNIT)             (located ?UNIT ?PLACE))))	Mid-level-ontology.kif 26927-26937	If the unit number of X is Y and there doesn't exist Z such that Z is the floor of X, then there exists W such that W is an instance of room, W has name Y, and W is located at X

Show simplified definition (without tree view)
Show simplified definition (with tree view)