Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 811-832	functionRoomAmenity HotelFunctionRoom and physique entit� est une instance de HotelFunctionRoom entit� est un appartenir � AutonomousAgent processus est une instance de Renting entit� est un patient de processus processus est un agent de AutonomousAgent processus aboutit � entit� physique est une sous-classe de objet l'argument entit� entit� entit� est une instance de physique entit� est une instance de processus entit� est une resource pour entit� entit� est un instrument pour entit� entit� est un patient de entit� entit� est un agent de entit� entit� exp�rimente entit� a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5267-5276	Objet est OrganicObjectFn objet organique objet est une sous-classe de objet objet objet objet est une instance de DeadFn objet organique objet est une partie de objet objet est une instance de objet organique
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 281-292	roomAmenity HotelUnit and physique physique est une sous-classe de objet objet objet est une instance de HotelUnit physique objet est une instance de HotelUnit physique est une instance de physique physique est situ� � objet
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 396-417	paidRoomAmenity HotelUnit and physique physique est une sous-classe de objet TemporaryResidence est une instance de HotelUnit stays humain and TemporaryResidence TemporaryResidence est un appartenir � AutonomousAgent objet est une instance de physique objet est situ� � TemporaryResidence processus est une instance de processus processus est un agent de humain processus est situ� � TemporaryResidence objet est un patient de processus objet est un instrument pour processus objet est une resource pour processus processusRICE unit� de mesure price objet, processusRICE unit� de mesure(s) and humain unit� de mesure est une instance de UnitOfCurrency processusRICE est plus grand que 0
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2692-2701	Processus est une sous-classe de processus processus est une instance de processus eventLocated processus and r�gion r�le d�pendant du cas est une instance de r�le d�pendant du cas objet est une instance de objet r�gion est une instance de secteur g�ographique r�le d�pendant du cas processus and objet capableAtLocation processus, r�le d�pendant du cas, objet and r�gion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18420-18441	Physique est une instance de Protecting physique a pour but entit� entit�, entit� and entit�ARM entit� est une instance de objet objet est un patient de physique entit�ARM est une sous-classe de la classe d�crite par entit� physique previent l'occurrence de entit�ARM hinders physique and entit�ARM
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2019-2024	V�hicule de transport est une instance de Truck objet objet est une sous-classe de objet cargoType v�hicule de transport and objet
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5258-5265	Objet est OrganicObjectFn objet organique objet est une sous-classe de objet objet organique est une sous-classe de organisme objet organique est une sous-classe de structure anatomique
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1478-1491	DutyFree est un attribut de objet objet est une instance de Store secteur g�opolitique entit�, objet and processus secteur g�opolitique est une instance de secteur g�opolitique objet est situ� � secteur g�opolitique objet est une sous-classe de objet importCommodityType secteur g�opolitique and objet entit� est une instance de objet processus est une instance de vendre entit� est un patient de processus processus est situ� � objet
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 98-107	offers AutonomousAgent and Catalog catalogItem entit� and Catalog entit� est une sous-classe de objet processus est une instance de processus processus est une sous-classe de processus entit� est une instance de entit� entit� est un patient de processus AutonomousAgent est capable de faire processus dans le r�le agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 294-313	guest humain and AutonomousAgent stays humain and TemporaryResidence TemporaryResidence est un appartenir � AutonomousAgent TemporaryResidence est une instance de TemporaryResidenceOOM roomAmenity TemporaryResidenceOOM and physique physique est une sous-classe de objet physique physique est une instance de physique physique est situ� � TemporaryResidence AutonomousAgent autorise humain � ex�cut� des t�ches du type entit� entit� est un agent de humain physique est un instrument pour entit� physique est un patient de entit� physique est une resource pour entit�
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 504-520	customer agent cognitif and AutonomousAgent propertyAmenity AutonomousAgent and physique physique est une sous-classe de objet entit� est une instance de physique AutonomousAgent autorise agent cognitif � ex�cut� des t�ches du type entit� entit� est une instance de processus entit� est une resource pour entit� entit� est un instrument pour entit� entit� est un patient de entit� entit� est un agent de agent cognitif agent cognitif exp�rimente entit�
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 346-361	freeRoomAmenity HotelUnit and physique physique est une sous-classe de objet TemporaryResidence est une instance de HotelUnit stays humain and TemporaryResidence TemporaryResidence est un appartenir � AutonomousAgent objet est une instance de physique objet est situ� � TemporaryResidence processus est une instance de processus processus est un agent de humain objet est un patient de processus objet est un instrument pour processus objet est une resource pour processus price objet, 0 UnitedStatesDollar(s) and humain
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 139-150	offersAtTime AutonomousAgent, Catalog and interval temporel catalogItem entit� and Catalog entit� est une sous-classe de objet processus est une instance de processus processus est une sous-classe de processus entit� est une instance de entit� entit� est un patient de processus interval temporel est une instance de interval temporel interval temporel est une sous-classe de interval temporel capabilityDuring processus, agent, AutonomousAgent and interval temporel
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2271-2278	naturalHazardTypeInArea secteur g�ographique and physique physique est une sous-classe de objet physique physique est une instance de physique physique est situ� � secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 846-846	Objet est une sous-classe de physique
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2064-2064	TornadoDamage est une sous-classe de objet
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 2096-2096	Shrapnel est une sous-classe de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4797-4797	TwoDimensionalObject est une sous-classe de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15249-15249	TransitwayObstacle est une sous-classe de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24552-24552	ContactSite est une sous-classe de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25599-25599	SphericalObject est une sous-classe de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 862-862	Objet en une partie est une sous-classe de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1251-1251	R�gion est une sous-classe de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1261-1261	Collection est une sous-classe de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1556-1556	AutonomousAgent est une sous-classe de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14044-14044	Corps astronomique est une sous-classe de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15703-15703	Artefact est une sous-classe de objet
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3874-3874	Magnet est une sous-classe de objet

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