TreeView 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 9928-9928	Le domaine de HoleHostFn est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10069-10069	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 9831-9831	Le domaine de MereologicalDifferenceFn est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9810-9810	Le domaine de MereologicalProductFn est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9788-9788	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 18372-18372	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 15681-15681	Artefact est une sous-classe de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14022-14022	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 24553-24553	ContactSite est une sous-classe de objet
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3866-3866	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.	Mid-level-ontology.kif 25611-25611	SphericalObject est une sous-classe de objet
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2068-2068	TornadoDamage est une sous-classe de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15250-15250	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.	MilitaryDevices.kif 2096-2096	sublass Shrapnel and 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.	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 9829-9829	Le nombre 1 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 2 argument de MereologicalDifferenceFn 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 MereologicalProductFn 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 MereologicalProductFn est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9786-9786	Le nombre 1 argument de MereologicalSumFn est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9787-9787	Le nombre 2 argument de MereologicalSumFn 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 25673-25673	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 31363-31363	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 31376-31376	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 17465-17465	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 17466-17466	Le nombre 2 argument de axis est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7816-7816	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 29769-29769	Le nombre 1 argument de beforeOnPath est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29770-29770	Le nombre 2 argument de beforeOnPath est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29771-29771	Le nombre 3 argument de beforeOnPath est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4152-4152	Le nombre 1 argument de between 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 23252-23258	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 25687-25696	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 22018-22025	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.	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17882-17892	Objet est une instance de objet LongAndThin est un attribut de objet objet est une instance de objet LongAndThin est un attribut de objet objet est connect� � objet objet est objet nombre r�el relativeAngle objet, objet and nombre r�el
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 313-325	Objet est une instance de WebListing processus est une instance de objet agent cognitif est une instance de AutonomousAgent AuctionAttribute est un attribut de objet objet est un patient de processus creator agent cognitif and objet agent cognitif desire entit� entit� est une instance de Auctioning processus est un patient de entit�

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 25322-25326	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 11754-11769	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 6056-6075	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 6122-6140	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 12984-12997	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 21147-21177	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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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: