Room(room)![]() | ![]() | ER, OR, Turkish_bath, accommodation, alcove, amen_corner, amphitheater, amphitheatre, anechoic_chamber, annex, annexe, antechamber, anteroom, apadana, apse, apsidal, apsis, artist's_workroom, assembly_hall, atelier, atrium, back_room, backroom, bank_vault, bay, bedsit, bedsitter, bedsitting_room, beer_hall, belfry, billiard_hall, billiard_parlor, billiard_parlour, billiard_room, billiard_saloon, boardroom, booth, boudoir, box, brig, broom_closet, bullpen, burial_vault, buttery, cabin_class, canteen, cardroom, cell, cellar, chamber... |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15487-15487 | Room is disjoint from building |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3588-3590 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15488-15491 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 141-141 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15486-15486 | Room is a subclass of stationary artifact |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14961-14961 | Bathroom is a subclass of room |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15052-15052 | Bedroom is a subclass of room |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1625-1625 | Business center is a subclass of room |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15062-15062 | Classroom is a subclass of room |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14972-14972 | Closet is a subclass of room |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15617-15617 | Court room is a subclass of room |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15048-15048 | Dining room is a subclass of room |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14984-14984 | Dressing room is a subclass of room |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26151-26151 | Game room is a subclass of room |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15081-15081 | Hall is a subclass of room |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1661-1661 | Hotel function room is a subclass of room |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 114-114 | Hotel room is a subclass of room |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15022-15022 | Kitchen is a subclass of room |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26164-26164 | Nursery is a subclass of room |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24752-24752 | Self-service laundry is a subclass of room |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26122-26122 | Solarium is a subclass of room |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26175-26175 | Steam bath is a subclass of room |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1052-1052 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1315-1315 |
antecedent |
![]() |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24006-24017 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24019-24029 |
|
No TPTP formula. May not be expressible in strict first order. | Dining.kif 909-933 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14701-14703 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14804-14809 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14767-14774 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14793-14798 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3086-3096 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14644-14652 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14780-14787 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14758-14765 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26216-26226 |
|
![]() |
![]() |