Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 419-438	paidRoomAmenity HotelUnit and physique physique est une sous-classe de processus TemporaryResidence est une instance de HotelUnit stays humain and TemporaryResidence TemporaryResidence est un appartenir � AutonomousAgent humain est un patient de processus processus est une instance de physique processus est une instance de physique processus est un sous-processus de processus processus est situ� � TemporaryResidence processusRICE unit� de mesure price processus, 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.	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.	Hotel.kif 522-538	customer agent cognitif and AutonomousAgent propertyAmenity AutonomousAgent and physique physique est une sous-classe de processus l'argument entit� entit� and entit� entit� est un appartenir � AutonomousAgent entit� est un agent de AutonomousAgent agent cognitif est un patient de entit� entit� est une instance de physique entit� est une instance de physique entit� est un sous-processus de entit� entit� est situ� � entit� a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30054-30084	Processus est une instance de BreakingRecord processus est un agent de AutonomousAgent ensemble classe, processus, point temporel, r�le d�pendant du cas, objet and entit� ensemble est une instance de ensemble AutonomousAgent est un ensemble classe est une sous-classe de processus objet est une instance de r�gion point temporel est une instance de point temporel entit� est une instance de quantit� processus est une instance de classe processus inclut une r�f�rence � entit� entit� inclut une r�f�rence � processus playsRoleInEvent AutonomousAgent, r�le d�pendant du cas and processus eventLocated processus and objet entit� entit� entit� est une instance de ensemble entit� est AutonomousAgent entit� est une instance de classe playsRoleInEvent entit�, r�le d�pendant du cas and entit� eventLocated entit� and objet pendant l'intervale entre point temporel et la fin de temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 364-378	freeRoomAmenity HotelUnit and physique physique est une sous-classe de processus TemporaryResidence est une instance de HotelUnit stays humain and TemporaryResidence TemporaryResidence est un appartenir � AutonomousAgent humain est un patient de processus processus est une instance de physique processus est une instance de physique processus est un sous-processus de processus processus est situ� � TemporaryResidence price processus, 0.0 UnitedStatesDollar(s) and humain
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.	Hotel.kif 317-332	roomAmenity HotelUnit and physique physique est une sous-classe de processus l'argument entit� entit�, entit� and entit� entit� est une instance de HotelUnit entit� est un appartenir � entit� entit� est un agent de entit� entit� est une instance de physique entit� est une instance de physique entit� est un sous-processus de entit� entit� est situ� � entit� a la force modale de Possibility
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.	Merge.kif 12060-12072	Processus est une instance de Deciding processus est un agent de agent cognitif ensemble est une instance de ensemble ensemble est un patient de processus entit� est un ensemble agent cognitif croit entit� entit� est une instance de entit� entit� est une sous-classe de processus intentionnel agent cognitif est capable de faire entit� 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�

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