Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Room
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 14602-14602 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 14603-14606
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 14601-14601 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 13202-13202 Bathroom is a subclass of room
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13290-13290 Bedroom is a subclass of room
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1598-1598 Business center is a subclass of room
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13300-13300 Classroom is a subclass of room
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13213-13213 Closet is a subclass of room
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13844-13844 Court room is a subclass of room
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13286-13286 Dining room is a subclass of room
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13224-13224 Dressing room is a subclass of room
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24948-24948 Game room is a subclass of room
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1634-1634 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 13261-13261 Kitchen is a subclass of room
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24961-24961 Nursery is a subclass of room
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23324-23324 Self-service laundry is a subclass of room
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24919-24919 Solarium is a subclass of room
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24987-24987 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 1320-1320

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24185-24197
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23775-23792
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2663-2668
No TPTP formula. May not be expressible in strict first order. Hotel.kif 924-937
No TPTP formula. May not be expressible in strict first order. Merge.kif 14608-14613

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22464-22475
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22477-22487
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 12946-12948
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13047-13052
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13011-13018
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13037-13042
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3674-3684
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12890-12898
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13024-13031
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13002-13009
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25029-25039


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners