Object - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1552-1554
No TPTP formula. May not be expressible in strict first order.	Merge.kif 847-852
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 122-125
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 141-145
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1204-1204
No TPTP formula. May not be expressible in strict first order.	Merge.kif 846-846	Objet est une sous-classe de physique

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 833-833	Physique est compl�tement d�compos� en objet + processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9950-9950	Le domaine de HoleHostFn est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10091-10091	Le domaine de HoleSkinFn est une instance de objet
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2626-2626	Le domaine de LineFn est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9853-9853	Le domaine de MereologicalDifferenceFn est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9832-9832	Le domaine de MereologicalProductFn est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9810-9810	Le domaine de MereologicalSumFn est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1776-1776	Les valeurs retourn�es par AttrFn sont des sous-classes de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18394-18394	Les valeurs retourn�es par MakingFn sont des sous-classes de objet
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5250-5250	Les valeurs retourn�es par OrganicObjectFn sont des sous-classes 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.	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 1556-1556	AutonomousAgent 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.	Mid-level-ontology.kif 24552-24552	ContactSite 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
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 862-862	Objet en une partie 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 25599-25599	SphericalObject est une sous-classe de objet
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.	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 4797-4797	TwoDimensionalObject est une sous-classe de objet
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 815-815

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1276-1276	Le nombre 3 argument de AccelerationFn est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7648-7648	Le nombre 1 argument de CenterOfCircleFn est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4938-4938	Le nombre 1 argument de DiameterFn est une instance de objet
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2624-2624	Le nombre 1 argument de LineFn est une instance de objet
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2625-2625	Le nombre 2 argument de LineFn est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9851-9851	Le nombre 1 argument de MereologicalDifferenceFn est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9852-9852	Le nombre 2 argument de MereologicalDifferenceFn est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9830-9830	Le nombre 1 argument de MereologicalProductFn est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9831-9831	Le nombre 2 argument de MereologicalProductFn est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9808-9808	Le nombre 1 argument de MereologicalSumFn est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9809-9809	Le nombre 2 argument de MereologicalSumFn est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4957-4957	Le nombre 1 argument de RadiusFn est une instance de objet
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 870-870	Le nombre 1 argument de absorbedDose est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 936-936	Le nombre 1 argument de adjacentOrientation est une instance de objet
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 184-184	Le nombre 1 argument de advertisedOn est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25661-25661	Le nombre 1 argument de airTemperature est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31359-31359	Le nombre 1 argument de allowableValue est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Music.kif 357-357	Le nombre 2 argument de anthem est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31372-31372	Le nombre 1 argument de applicableRelation est une instance de objet
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1926-1926	Le nombre 1 argument de askPrice est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1720-1720	Le nombre 1 argument de attribute est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17464-17464	Le nombre 1 argument de axis est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17465-17465	Le nombre 2 argument de axis est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7838-7838	Le nombre 1 argument de barometricPressure est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29757-29757	Le nombre 1 argument de beforeOnPath est une instance de objet

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 23251-23257	R�le d�pendant du cas processus and objet r�le d�pendant du cas est une instance de r�le d�pendant du cas processus est une instance de processus objet est une instance de objet playsRoleInEvent objet, r�le d�pendant du cas and processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25675-25684	Attribut est un attribut de objet attribut est une instance de TemperatureAttribute objet est une instance de objet objet la mesure de objet est objet objet est une instance de mesure de temperature attribut est un attribut de objet
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.	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.	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 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 546-561	freePropertyAmenity AutonomousAgent and physique processus est une instance de physique customer agent cognitif and AutonomousAgent processus est une instance de processus processus est un agent de agent cognitif agent cognitif exp�rimente processus AutonomousAgent poss�de processus processus est une instance de objet agent cognitif utilise processus price processus, 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 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.	UXExperimentalTerms.kif 1326-1342	Interval temporel est une instance de AddToCart entit� est une instance de objet entit� est un patient de interval temporel interval temporel est un agent de AutonomousAgent collection WebSite, position temporel and interval temporel collection est une instance de collection WebSite est une instance de WebSite interval temporel est une instance de interval temporel webcart AutonomousAgent, collection and WebSite le d�but de interval temporel est fin de interval temporel entit� est un membre de collection pendant position temporel
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1312-1324	Processus est une instance de AddToCart agent cognitif est une instance de AutonomousAgent entit� est une instance de objet processus est un agent de agent cognitif entit� est un patient de processus agent cognitif desire entit� entit� est une instance de acheter entit� est un patient de entit� entit� est un agent de agent cognitif
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 354-365	Processus est une instance de Auctioning AutonomousAgent est une instance de AutonomousAgent AutonomousAgent est une instance de AutonomousAgent objet est une instance de objet unit� de mesure est une instance de UnitOfCurrency objet est un patient de processus bidPrice objet, nombre r�el unit� de mesure(s) and AutonomousAgent bidPrice objet, nombre r�el unit� de mesure(s) and AutonomousAgent nombre r�el est plus grand que nombre r�el processus aboutit � AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 343-352	Processus est une instance de Auctioning objet est une instance de objet objet est un patient de processus AutonomousAgent mesure de devise AutonomousAgent est une instance de AutonomousAgent mesure de devise est une instance de mesure de devise bidPrice objet, mesure de devise and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22017-22024	Objet est une instance de Blade processus est une instance de couper objet est une instance de objet objet est un instrument pour processus objet est un patient de processus objet rencontre objet
No TPTP formula. May not be expressible in strict first order.	Food.kif 468-478	Nourriture est une instance de objet roastedToTemperature nourriture and nombre r�el processus processus est une instance de r�chauffer nourriture est un patient de processus la mesure de nourriture est nombre r�el CelsiusDegree(s) pendant la fin de temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3239-3259	Collection est une instance de collection nombre r�el est une instance de mesure de devise nombre entier est une instance de nombre r�el nombre r�el est GMBFn collection nombre entier est instances dans la classe d�crite par cha�ne sympbolique ABPFn collection est nombre r�el + nombre entier
No TPTP formula. May not be expressible in strict first order.	Food.kif 980-992	Processus est une instance de Crushing entit� est un patient de processus entit� est une instance de objet processus processus processus est une instance de Breaking processus cause processus processus est un sous-processus de processus processus est une instance de changement de forme entit� est un patient de processus entit� est un patient de processus
No TPTP formula. May not be expressible in strict first order.	Food.kif 994-1003	Processus est une instance de Crushing entit� est un patient de processus entit� est une instance de objet processus processus est le resultat de processus processus est une instance de changement de forme entit� est un patient de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7636-7641	Objet est une instance de objet shape objet and Circle GeometricPoint CenterOfCircleFn objet est GeometricPoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7629-7634	Objet est une instance de objet shape objet and Circle mesure de longueur le radius de objet est mesure de longueur
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 145-160	Collection est une instance de WebListingCategory physique est une instance de WebListing physique est une instance de WebListing processus est une instance de objet processus est une instance de objet physique est un membre de collection physique est un membre de collection physique est un patient de processus physique est un patient de processus classe classe est une instance de classe processus est une instance de classe processus est une instance de classe
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 373-379	Entit� est une instance de objet objet est une instance de WebListing ForSaleByOwner est un attribut de objet entit� est un patient de objet entit� est une instance de Vehicle
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 381-388	Objet est une instance de objet objet est une instance de WebListing AutonomousAgent est une instance de AutonomousAgent ForSaleByOwner est un attribut de objet AutonomousAgent poss�de objet AutonomousAgent est une instance de humain
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6000-6011	AutonomousAgent est une instance de Lathe entit� est une instance de objet AutonomousAgent est un instrument pour processus entit� est un patient de processus processus processus est une instance de Rotating processus est un sous-processus de processus entit� est un patient de processus processus est un agent de AutonomousAgent

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.	Mid-level-ontology.kif 25321-25325	Attribut est un attribut de objet attribut est une instance de SizeAttribute objet est une instance de objet
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.	MilitaryPersons.kif 26-47	DislocatedCivilian est un attribut de entit� entit� vie � entit� entit� est situ� � secteur g�ographique pendant interval temporel secteur g�ographique est une instance de secteur g�ographique interval temporel est une instance de interval temporel interval temporel entit�-PLACE and entit�-RES interval temporel est une instance de interval temporel interval temporel arrive plus t�t que interval temporel entit�-RES est une instance de objet entit�-PLACE est une instance de secteur g�opolitique entit�-RES est situ� � entit�-PLACE secteur g�ographique est entit�-PLACE entit� est entit�-RES geographicSubregion secteur g�ographique and entit�-PLACE geographicSubregion entit�-PLACE and secteur g�ographique entit� vie � entit�-RES pendant interval temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11753-11768	Processus est une instance de Choking AutonomousAgent exp�rimente processus entit� objet and objet entit� est une instance de objet objet est une instance de Trachea objet est une instance de Lung objet est une partie de AutonomousAgent objet est une partie de AutonomousAgent entit� est situ� � objet entit� est situ� � objet pendant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6055-6074	Processus est une instance de Coughing AutonomousAgent exp�rimente processus processus a pour but entit� entit�, entit� and entit� entit� est une instance de Lung entit� est une instance de Throat entit� est une instance de objet entit� est une instance de supprimer entit� est une partie de AutonomousAgent entit� est une partie de AutonomousAgent objectTransferred entit� and entit� entit� est situ� � entit� entit� est situ� � entit� pendant immediatement avant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6121-6139	Processus est une instance de Sneezing AutonomousAgent exp�rimente processus processus a pour but entit� entit�, entit�OSE and entit� entit� est une instance de NasalCavity entit�OSE est une instance de Nose entit�OSE est h�te du trou entit� entit� est une instance de objet entit� est une instance de supprimer entit�OSE est une partie de AutonomousAgent objectTransferred entit� and entit� entit� est situ� � entit� pendant immediatement avant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	naics.kif 7953-7978	Collection est une instance de organisation AirTransportationIndustry est un attribut de collection AutonomousAgent processus processus est un membre de collection processus est un agent de AutonomousAgent agent cognitif AutonomousAgent est une instance de vendre agent cognitif est une instance de humain agent cognitif est un patient de AutonomousAgent processus autorise agent cognitif � ex�cut� des t�ches du type entit� agent cognitifLANE and entit� entit� est une instance de transporter agent cognitif est un patient de entit� agent cognitif poss�de entit� entit� est un patient de entit� entit� est une instance de objet collection poss�de agent cognitifLANE agent cognitifLANE est une instance de Aircraft
No TPTP formula. May not be expressible in strict first order.	naics.kif 7242-7257	Collection est une instance de organisation BuildingMaterialAndGardenEquipmentAndSuppliesDealers est un attribut de collection AutonomousAgent processus processus est un membre de collection processus est un agent de AutonomousAgent objet AutonomousAgent est une instance de vendre objet est une instance de objet objet est capable de faire construire dans le r�le resource objet est capable de faire Agriculture dans le r�le resource objet est un patient de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	naics.kif 8736-8756	Collection est une instance de organisation CouriersAndMessengers est un attribut de collection AutonomousAgent processus processus est un membre de collection processus est un agent de AutonomousAgent agent cognitif entit� AutonomousAgent est une instance de vendre entit� est une instance de objet agent cognitif est une instance de humain agent cognitif est un patient de AutonomousAgent processus autorise agent cognitif � ex�cut� des t�ches du type entit� entit� est une instance de transporter agent cognitif poss�de entit� entit� est un patient de entit�
No TPTP formula. May not be expressible in strict first order.	naics.kif 7702-7716	Collection est une instance de organisation GeneralMerchandiseStores est un attribut de collection AutonomousAgent processus processus est un membre de collection processus est un agent de AutonomousAgent entit� entit� AutonomousAgent est une instance de vendre entit� est une instance de humain entit� est une instance de objet AutonomousAgent aboutit � entit� entit� est un patient de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	naics.kif 6153-6169	Collection est une instance de organisation MiscellaneousManufacturing est un attribut de collection AutonomousAgent processus processus est un membre de collection processus est un agent de AutonomousAgent entit� processus2 and AutonomousAgent2 AutonomousAgent est une instance de manufacture entit� est une instance de objet entit� est un patient de AutonomousAgent processus2 est un membre de collection AutonomousAgent2 est une instance de vendre AutonomousAgent2 est un agent de processus2 entit� est un patient de AutonomousAgent2
No TPTP formula. May not be expressible in strict first order.	naics.kif 7752-7765	Collection est une instance de organisation MiscellaneousStoreRetailers est un attribut de collection processus physique, entit�, objet and AutonomousAgent physique est un membre de collection processus est un agent de AutonomousAgent processus est une instance de vendre AutonomousAgent est une instance de humain objet est une instance de RetailStore eventLocated processus and objet entit� est une instance de objet entit� est un patient de processus
No TPTP formula. May not be expressible in strict first order.	naics.kif 7877-7893	Collection est une instance de organisation NonstoreRetailers est un attribut de collection AutonomousAgent processus processus est un membre de collection processus est un agent de AutonomousAgent entit� entit� AutonomousAgent est une instance de vendre entit� est une instance de humain entit� est une instance de objet eventLocated AutonomousAgent and RetailStore AutonomousAgent aboutit � entit� entit� est un patient de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	naics.kif 8707-8727	Collection est une instance de organisation PostalService est un attribut de collection AutonomousAgent processus processus est un membre de collection processus est un agent de AutonomousAgent agent cognitif entit� AutonomousAgent est une instance de vendre entit� est une instance de objet agent cognitif est une instance de humain agent cognitif est un patient de AutonomousAgent processus autorise agent cognitif � ex�cut� des t�ches du type entit� entit� est une instance de transporter agent cognitif poss�de entit� entit� est un patient de entit�
No TPTP formula. May not be expressible in strict first order.	naics.kif 8034-8059	Collection est une instance de organisation RailTransportation est un attribut de collection AutonomousAgent processus processus est un membre de collection processus est un agent de AutonomousAgent agent cognitif AutonomousAgent est une instance de vendre agent cognitif est une instance de humain agent cognitif est un patient de AutonomousAgent processus autorise agent cognitif � ex�cut� des t�ches du type entit� entit� and entit� entit� est une instance de transporter agent cognitif est un patient de entit� agent cognitif poss�de entit� entit� est un patient de entit� entit� est une instance de objet collection poss�de entit� entit� est une instance de RailVehicle
No TPTP formula. May not be expressible in strict first order.	naics.kif 7600-7618	Collection est une instance de organisation SportingGoodsHobbyBookAndMusicStores est un attribut de collection AutonomousAgent processus processus est un membre de collection processus est un agent de AutonomousAgent objet AutonomousAgent est une instance de vendre objet est une instance de objet objet est capable de faire sport dans le r�le instrument objet est capable de faire MakingMusic dans le r�le instrument objet est une instance de livre objet est une instance de MusicRecording objet est une instance de MusicText objet est un patient de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	naics.kif 8253-8275	Collection est une instance de organisation TruckTransportation est un attribut de collection AutonomousAgent processus processus est un membre de collection processus est un agent de AutonomousAgent agent cognitif AutonomousAgent est une instance de vendre agent cognitif est une instance de humain agent cognitif est un patient de AutonomousAgent processus autorise agent cognitif � ex�cut� des t�ches du type entit� entit� and entit� entit� est une instance de transporter agent cognitif poss�de entit� entit� est un patient de entit� entit� est une instance de objet collection poss�de entit� entit� est une instance de LandVehicle
No TPTP formula. May not be expressible in strict first order.	naics.kif 8776-8797	Collection est une instance de organisation WarehousingAndStorage est un attribut de collection AutonomousAgent processus processus est un membre de collection processus est un agent de AutonomousAgent agent cognitif entit� AutonomousAgent est une instance de vendre entit� est une instance de objet agent cognitif est une instance de humain agent cognitif est un patient de AutonomousAgent processus autorise agent cognitif � ex�cut� des t�ches du type entit� entit� entit� est une instance de interval temporel entit� est une instance de immeuble agent cognitif poss�de entit� entit� est situ� � entit� pendant entit�
No TPTP formula. May not be expressible in strict first order.	naics.kif 8080-8105	Collection est une instance de organisation WaterTransportationIndustry est un attribut de collection AutonomousAgent processus processus est un membre de collection processus est un agent de AutonomousAgent agent cognitif AutonomousAgent est une instance de vendre agent cognitif est une instance de humain agent cognitif est un patient de AutonomousAgent processus autorise agent cognitif � ex�cut� des t�ches du type entit� entit� and entit� entit� est une instance de transporter agent cognitif est un patient de entit� agent cognitif poss�de entit� entit� est un patient de entit� entit� est une instance de objet collection poss�de entit� entit� est une instance de WaterVehicle
No TPTP formula. May not be expressible in strict first order.	naics.kif 6375-6391	Collection est une instance de organisation WholesaleTrade est un attribut de collection AutonomousAgent processus processus est un membre de collection processus est un agent de AutonomousAgent entit� processus2 and AutonomousAgent2 AutonomousAgent est une instance de vendre entit� est une instance de objet entit� est un patient de AutonomousAgent processus2 est un membre de collection AutonomousAgent2 est une instance de vendre AutonomousAgent2 est un agent de processus2 entit� est un patient de AutonomousAgent2
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2065-2076	Objet corpusculaire est une instance de ViewItemPage WebSite est une instance de WebSite objet corpusculaire est un composant de WebSite entit� WebListing entit� est une instance de objet WebListing est une instance de WebListing WebListing est un composant de objet corpusculaire hostedOn WebListing and WebSite entit� est un patient de WebListing
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1883-1900	Processus est une instance de Repayment processus_DESTINATION est une instance de objet processus aboutit � processus_DESTINATION processus_ORIGIN est une instance de objet processus a pour origine processus_ORIGIN processus processus_ORIGIN and processus_DESTINATION processus est une instance de Payment processus_ORIGIN est une instance de objet processus_DESTINATION est une instance de objet processus est processus processus aboutit � processus_DESTINATION processus a pour origine processus_ORIGIN processus_ORIGIN est processus_DESTINATION processus_DESTINATION est processus_ORIGIN
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13006-13019	Processus est une instance de Searching physique est un patient de processus physique est une instance de physique objet AutonomousAgent AutonomousAgent est une instance de agent cognitif processus est un agent de AutonomousAgent objet est une instance de objet physique est situ� � objet processus a le but AutonomousAgent conna�t physique est situ� � objet pour AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21146-21176	Proposition est une instance de Argument processus est une instance de raisonner proposition est une instance de Archeology proposition est une sous-proposition de proposition processus exprime le contenu de proposition processus entit�, physique, nombre r�el, entit� and entit� processus est une instance de Discovering physique est une instance de objet physique est un patient de processus processus inclut une r�f�rence � processus temps d'existence de processus arrive plus t�t que temps d'existence de processus l' physique est nombre r�el YearDuration(s) nombre r�el est plus grand que 50 entit� est une surface de entit� entit� est une instance de BodyOfWater physique est Below � entit� entit� est une surface de entit� entit� est une instance de zone de terre physique est Below � entit� pendant immediatement avant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Cars.kif 368-376	Objet est une instance de r�gion Vacuum est un attribut de objet physique physique est une instance de objet physique est situ� � objet

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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: