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 15891-15891 Room is disjoint from building
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3588-3590 Room is disjoint from building
No TPTP formula. May not be expressible in strict first order. Merge.kif 15892-15895 Room is disjoint from building
No TPTP formula. May not be expressible in strict first order. pictureList.kif 141-141 Room is disjoint from building
No TPTP formula. May not be expressible in strict first order. Merge.kif 15890-15890 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 16866-16866 Bathroom is a subclass of room
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16957-16957 Bedroom is a subclass of room
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1661-1661 Business center is a subclass of room
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16967-16967 Classroom is a subclass of room
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16877-16877 Closet is a subclass of room
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17559-17559 Court room is a subclass of room
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16953-16953 Dining room is a subclass of room
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16889-16889 Dressing room is a subclass of room
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28680-28680 Game room is a subclass of room
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16986-16986 Hall is a subclass of room
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1697-1697 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 16927-16927 Kitchen is a subclass of room
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28693-28693 Nursery is a subclass of room
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27060-27060 Self-service laundry is a subclass of room
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28651-28651 Solarium is a subclass of room
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28704-28704 Steam bath is a subclass of room
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1052-1052 Steam bath is a subclass of room
No TPTP formula. May not be expressible in strict first order. english_format.kif 1315-1315 Steam bath is a subclass of room
No TPTP formula. May not be expressible in strict first order. french_format.kif 730-730 Steam bath is a subclass of room
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 261-261 Steam bath is a subclass of room
No TPTP formula. May not be expressible in strict first order. terms-it.txt 264-264 Steam bath is a subclass of room
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2414-2414 Steam bath is a subclass of room
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 682-682 Steam bath is a subclass of room

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 28059-28071
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27721-27738
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2665-2670
No TPTP formula. May not be expressible in strict first order. Hotel.kif 962-975
No TPTP formula. May not be expressible in strict first order. Merge.kif 15897-15902

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26296-26307
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26309-26319
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 16606-16608
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16709-16714
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16672-16679
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16698-16703
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16995-17010
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3574-3584
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16549-16557
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16685-16692
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16663-16670
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28745-28755


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