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 15756-15756 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 15757-15760
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 15755-15755 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 15493-15493 Bathroom is a subclass of room
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15584-15584 Bedroom is a subclass of room
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1650-1650 Business center is a subclass of room
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15594-15594 Classroom is a subclass of room
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15504-15504 Closet is a subclass of room
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16172-16172 Court room is a subclass of room
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15580-15580 Dining room is a subclass of room
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15516-15516 Dressing room is a subclass of room
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26779-26779 Game room is a subclass of room
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15613-15613 Hall is a subclass of room
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1686-1686 Hotel function room is a subclass of room
No TPTP formula. May not be expressible in strict first order. Hotel.kif 119-119 Hotel room is a subclass of room
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15554-15554 Kitchen is a subclass of room
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26792-26792 Nursery is a subclass of room
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25396-25396 Self-service laundry is a subclass of room
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26750-26750 Solarium is a subclass of room
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26803-26803 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
No TPTP formula. May not be expressible in strict first order. french_format.kif 730-730
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 261-261
No TPTP formula. May not be expressible in strict first order. terms-it.txt 264-264
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2414-2414
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 682-682

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26159-26171
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25821-25838
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2202-2207
No TPTP formula. May not be expressible in strict first order. Hotel.kif 954-967
No TPTP formula. May not be expressible in strict first order. Merge.kif 15762-15767

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24632-24643
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24645-24655
No TPTP formula. May not be expressible in strict first order. Dining.kif 956-980
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15233-15235
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15336-15341
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15299-15306
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15325-15330
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15622-15637
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3131-3141
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15176-15184
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15312-15319
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15290-15297
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26844-26854


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