Room - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15802-15802	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 15803-15806
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 15801-15801	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 15520-15520	Bathroom est une sous-classe de pi�ce
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15611-15611	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 15621-15621	Classroom est une sous-classe de pi�ce
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15531-15531	Closet est une sous-classe de pi�ce
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16199-16199	CourtRoom est une sous-classe de pi�ce
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15607-15607	DiningRoom est une sous-classe de pi�ce
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15543-15543	DressingRoom est une sous-classe de pi�ce
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26812-26812	GameRoom est une sous-classe de pi�ce
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15640-15640	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 15581-15581	Kitchen est une sous-classe de pi�ce
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26825-26825	Nursery est une sous-classe de pi�ce
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25453-25453	SelfServiceLaundry est une sous-classe de pi�ce
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26783-26783	Solarium est une sous-classe de pi�ce
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26836-26836	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 26192-26204	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 25854-25871	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 2195-2200	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 15808-15813	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 24689-24700	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 24702-24712	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 15260-15262	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 15363-15368	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 15326-15333	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 15352-15357	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 15649-15664	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 3124-3134	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 15203-15211	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 15339-15346	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 15317-15324	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 26877-26887	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: