element - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2289-2290
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5418-5420
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 957-959
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5415-5415	Le nombre 1 argument de element est une instance de entit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5416-5416	Le nombre 2 argument de element est une instance de ensemble
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5413-5413	element est une instance de relation asym�trique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5412-5412	element est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5414-5414	element est une sous-relation de instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 488-488
No TPTP formula. May not be expressible in strict first order.	english_format.kif 493-493
No TPTP formula. May not be expressible in strict first order.	french_format.kif 285-285
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 90-90
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2066-2066
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 237-237
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 291-291
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 633-633
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 130-130
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 306-306
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 312-312
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 195-195
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1282-1282	member est reli� � l'int�rieur de SUMO � element
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21792-21792
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 489-489
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21791-21791
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21790-21790
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 196-196

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 5422-5426	Entit� est un ensemble entit� est un ensemble ensemble est ensemble
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5406-5410	Entit� est un ensemble entit� est un ensemble ensemble est un sous-ensemble de ensemble
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1452-1457	TravelerAccommodation est un attribut de AutonomousAgent entit� est un appartenir � AutonomousAgent entit� est une instance de Casino CasinoHotels est un attribut de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1127-1140	Objet est un appartenir � organisation AnnexRoom est un attribut de objet objet est une instance de HotelRoom objet objet and organisation organisation est une partie de l'organization organisation organisation est une instance de HotelFrontDesk organisation est situ� � objet objet est un appartenir � organisation objet est un appartenir � organisation objet est une partie de objet objet est objet
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 147-154	Collection est un appartenir � AutonomousAgent collection est une instance de RoomInventory physique physique est un membre de collection physique est un appartenir � AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 841-862	freeFunctionRoomAmenity 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 aboutit � agent cognitif objet est une instance de physique AutonomousAgent poss�de objet customer agent cognitif and AutonomousAgent objet est une instance de processus objet est un agent de agent cognitif agent cognitif exp�rimente objet AutonomousAgent poss�de objet objet est une instance de objet agent cognitif utilise objet price objet, 0 UnitedStatesDollar(s) and AutonomousAgent
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.	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 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 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.	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 1696-1704	Physique est une instance de HotelFunctionRoom physique est un appartenir � AutonomousAgent physique a pour but entit� entit� est une instance de Renting physique est un patient de entit�
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1902-1914	Objet est une instance de Nursery objet est un appartenir � AutonomousAgent TravelerAccommodation est un attribut de AutonomousAgent agent cognitif entit� CommunalAttribute est un attribut de objet AutonomousAgent emploie agent cognitif agent cognitif a pour but entit� est une instance de ChildCareService serviceProvider entit� and agent cognitif
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 479-490	maxRoomCapacity artefact stationnaire and nombre entier entit� est une instance de artefact stationnaire entit� est un appartenir � AutonomousAgent l'argument entit� entit� entit� est une instance de GroupOfPeople memberCount entit� and entit� entit� est plus petit ou �gal � nombre entier stays entit� and entit� a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31348-31355	memberMeasure ensemble, MeasurementAttribute and dur�e temporel ensemble est une instance de ensemble AutonomousAgent est un ensemble processus est une instance de processus processus est un agent de AutonomousAgent processus se produit tous les dur�e temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31211-31216	memberMeasure ensemble, MeasurementAttribute and mesure de longueur ensemble est une instance de ensemble objet en une partie est un ensemble approximateDiameter objet en une partie and mesure de longueur
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31136-31141	memberMeasure ensemble, MeasurementAttribute and mesure de longueur ensemble est une instance de ensemble objet est un ensemble circumfrence objet and mesure de longueur
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31189-31194	memberMeasure ensemble, MeasurementAttribute and mesure de longueur ensemble est une instance de ensemble objet est un ensemble le diam�tre de objet est mesure de longueur
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31115-31120	memberMeasure ensemble, MeasurementAttribute and mesure de longueur ensemble est une instance de ensemble objet en une partie est un ensemble la hauteur de objet en une partie est mesure de longueur
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31084-31089	memberMeasure ensemble, MeasurementAttribute and mesure de longueur ensemble est une instance de ensemble physique est un ensemble le longueur de physique est mesure de longueur
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31035-31040	memberMeasure ensemble, MeasurementAttribute and quantit� physique ensemble est une instance de ensemble physique est un ensemble la mesure de physique est quantit� physique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31240-31245	memberMeasure ensemble, MeasurementAttribute and mesure d'aire ensemble est une instance de ensemble r�gion est un ensemble totalArea r�gion and mesure d'aire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31380-31385	memberMeasure ensemble, MeasurementAttribute and function de quantit� ensemble est une instance de ensemble ElectricalTransformer est un ensemble transformerCapacity ElectricalTransformer and function de quantit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31262-31267	memberMeasure ensemble, MeasurementAttribute and function de quantit� ensemble est une instance de ensemble ElectricalTransformer est un ensemble voltageRatingPrimary ElectricalTransformer and function de quantit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31305-31310	memberMeasure ensemble, MeasurementAttribute and function de quantit� ensemble est une instance de ensemble ElectricalTransformer est un ensemble voltageRatingSecondary ElectricalTransformer and function de quantit�

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 599-604	activityCapability AutonomousAgent and processus objet objet est un appartenir � AutonomousAgent objet est capable de faire processus dans le r�le located
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.	Hotel.kif 1127-1140	Objet est un appartenir � organisation AnnexRoom est un attribut de objet objet est une instance de HotelRoom objet objet and organisation organisation est une partie de l'organization organisation organisation est une instance de HotelFrontDesk organisation est situ� � objet objet est un appartenir � organisation objet est un appartenir � organisation objet est une partie de objet objet est objet
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 147-154	Collection est un appartenir � AutonomousAgent collection est une instance de RoomInventory physique physique est un membre de collection physique est un appartenir � AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12092-12108	Processus est une instance de Deciding processus est un agent de AutonomousAgent entit� est un patient de processus entit� est une instance de ensemble ContentBearingPhysical est le resultat de processus ContentBearingPhysical est une instance de ContentBearingPhysical containsFormula ContentBearingPhysical and entit� entit� est un entit� entit� est une instance de processus intentionnel entit� est un agent de AutonomousAgent pendant apr�s temps d'existence de processus
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 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.	Merge.kif 5400-5404	Ensemble est un sous-ensemble de ensemble entit� est un ensemble entit� est un ensemble
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 45-52	TravelerAccommodation est un attribut de objet objet a pour but entit� entit� and entit� rents entit�, objet, entit� and entit� entit� est une instance de HotelUnit entit� est un appartenir � objet
No TPTP formula. May not be expressible in strict first order.	naics.kif 11437-11442	WaterThemePark est un attribut de AutonomousAgent entit� entit� est une instance de SwimmingPool entit� est un appartenir � AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 103-108	Entit� est une instance de HotelUnit AutonomousAgent TravelerAccommodation est un attribut de AutonomousAgent entit� est un appartenir � AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 110-117	Physique est une instance de HotelUnit physique a pour but entit� entit� and entit� entit� est entit� physique est un appartenir � entit� rents entit�, entit�, physique and entit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5533-5536	Ensemble est une instance de NonNullSet entit� entit� est un ensemble
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5521-5525	Ensemble est une instance de NullSet entit� entit� est un ensemble
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1691-1694	Entit� est une instance de HotelFunctionRoom AutonomousAgent entit� est un appartenir � AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4286-4289	AutonomousAgent poss�de objet objet est un appartenir � AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 615-620	propertyPolicy AutonomousAgent and Policy objet objet est un appartenir � AutonomousAgent policyLocationCoverage Policy and objet
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1727-1739	roomAmenity HotelUnit and HotelMiniBar objet collection and AutonomousAgent objet est une instance de HotelUnit objet est un appartenir � AutonomousAgent collection est une instance de HotelMiniBar collection est situ� � objet physique physique est un membre de collection mesure de devise price physique, mesure de devise and AutonomousAgent

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: