Room - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15778-15778	Pi�ce est disjoint de immeuble
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 15779-15782
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 15777-15777	Pi�ce est une sous-classe de artefact stationnaire

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15492-15492	Bathroom est une sous-classe de pi�ce
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15583-15583	Bedroom est une sous-classe de pi�ce
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1650-1650	BusinessCenter est une sous-classe de pi�ce
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15593-15593	Classroom est une sous-classe de pi�ce
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15503-15503	Closet est une sous-classe de pi�ce
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16171-16171	CourtRoom est une sous-classe de pi�ce
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15579-15579	DiningRoom est une sous-classe de pi�ce
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15515-15515	DressingRoom est une sous-classe de pi�ce
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26767-26767	GameRoom est une sous-classe de pi�ce
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15612-15612	Hallway est une sous-classe de pi�ce
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1686-1686	HotelFunctionRoom est une sous-classe de pi�ce
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 119-119	HotelRoom est une sous-classe de pi�ce
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15553-15553	Kitchen est une sous-classe de pi�ce
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26780-26780	Nursery est une sous-classe de pi�ce
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25395-25395	SelfServiceLaundry est une sous-classe de pi�ce
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26738-26738	Solarium est une sous-classe de pi�ce
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26791-26791	SteamBath est une sous-classe de pi�ce
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 26147-26159	WheelchairAccessible est un attribut de objet objet est une instance de immeuble objet est une instance de pi�ce l'argument entit� entit� entit� est une instance de d�palcement entit� est un instrument pour entit� entit� est une instance de Wheelchair eventLocated entit� and objet a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25809-25826	Physique est une instance de KnockLight physique est situ� � objet objet est une instance de pi�ce objet est une instance de Door objet est une partie de objet physique a pour but entit� entit� and entit� entit� est une instance de impacte objet est un patient de entit� entit� cause entit� entit� est une instance de son irradiant entit� est un agent de objet entit� cause entit� entit� est une instance de RadiatingVisibleLight physique est un instrument pour entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2202-2207	Physique est situ� � objet physique est une instance de Toilet objet est une instance de pi�ce objet est une instance de Bathroom
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 954-967	viewType objet and physique objet est une instance de pi�ce objet est une instance de physique objet est Outside � objet l'argument entit� entit� entit� est une instance de humain entit� est situ� � objet entit� est une instance de voir objet est un patient de entit� entit� est un agent de entit� a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15784-15789	Objet est une instance de pi�ce objet objet est une instance de immeuble objet est une partie de objet

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24631-24642	unitNumber cha�ne sympbolique and PostalPlace floorCode cha�ne sympbolique and PostalPlace physique objet objet est une instance de BuildingLevel physique est une instance de pi�ce physique est situ� � objet objet est une partie de PostalPlace physique s'appele nom cha�ne sympbolique objet s'appele nom cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24644-24654	unitNumber cha�ne sympbolique and PostalPlace cha�ne sympbolique floorCode cha�ne sympbolique and PostalPlace physique physique est une instance de pi�ce physique s'appele nom cha�ne sympbolique physique est situ� � PostalPlace
No TPTP formula. May not be expressible in strict first order.	Dining.kif 956-980	OpenLayout est un attribut de objet objet est une instance de pi�ce objet objet and objet objet est une instance de r�gion objet est une instance de r�gion objet est situ� � objet objet est situ� � objet objet est objet objet est Adjacent � objet formule formule formule est une instance de processus formule est une instance de processus objet a pour but formule objet a pour but formule objet est une instance de AutonomousAgent objet est situ� � objet objet est capable de faire voir dans le r�le agent objet est capable de faire voir dans le r�le patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15232-15234	AdjoiningRoom est un attribut de objet objet est une instance de pi�ce
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15335-15340	Objet en une partie est une instance de Ceiling objet en une partie le dessus de objet en une partie est objet en une partie objet en une partie est une instance de pi�ce
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15298-15305	Objet est une instance de Door objet objet est une partie de objet objet est une instance de immeuble objet est une instance de pi�ce
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15324-15329	Objet est une instance de Floor objet objet est une partie de objet objet est une instance de pi�ce
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15621-15636	Physique est une instance de Hallway physique a pour but entit� entit�, entit� and entit� entit� est une instance de Translocation physique est le chemin le long duquel entit� se produit physique est situ� � entit� entit� est une instance de immeuble physique est entre entit� et entit� entit� est une instance de pi�ce entit� est une instance de pi�ce entit� est situ� � entit� entit� est situ� � entit� entit� est entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3131-3141	Physique est une instance de Wallpaper physique a pour but entit� entit� and entit� entit� est une instance de Wall entit� est une partie de entit� entit� est une instance de pi�ce entit� est une instance de couvrir entit� est un patient de entit� physique est un instrument pour entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15175-15183	Objet est une instance de Window objet objet est une partie de objet objet est une instance de immeuble objet est une instance de pi�ce objet est une instance de Vehicle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15311-15318	Objet est une instance de Wall objet objet est une partie de objet objet est une instance de immeuble objet est une instance de pi�ce
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15289-15296	Objet est une instance de Doorway objet objet est une partie de objet objet est une instance de immeuble objet est une instance de pi�ce
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26832-26842	Physique est une instance de RoomHeater physique a pour but entit� entit� and entit� entit� est une instance de Air entit� est une instance de pi�ce entit� est situ� � entit� entit� est une instance de r�chauffer entit� est un patient de entit� physique est un instrument pour entit�

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

KB Term:			Term intersection

English Word: