TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1683-1683
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1558-1559
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1556-1556	AutonomousAgent est une sous-classe de objet

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3707-3707	Furniture est disjoint de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6705-6705	Le domaine de StreetAddressFn est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16244-16244	CommercialAgent est une sous-classe de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14100-14100	Secteur g�opolitique est une sous-classe de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16295-16295	Groupe est une sous-classe de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1306-1306	ITAgent est une sous-classe de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14401-14401	Organisme est une sous-classe de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16681-16681	Organisation est une sous-classe de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1566-1566	Sentient agent est une sous-classe de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 848-848
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64498-64498
No TPTP formula. May not be expressible in strict first order.	english_format.kif 898-898

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2411-2411	Le nombre 1 argument de AbortedFn est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1649-1649	Le nombre 1 argument de ElectionFn est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1285-1285	Le nombre 1 argument de ExecutiveBranchFn est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3697-3697	Le nombre 1 argument de FiscalYearFn est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3723-3723	Le nombre 1 argument de FiscalYearStartingFn est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4275-4275	Le nombre 1 argument de PropertyFn est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 981-981	Le nombre 1 argument de SellersItemsFn est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1016-1016	Le nombre 1 argument de SellersOtherItemsFn est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7828-7828	Le nombre 1 argument de WealthFn est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1660-1660	Le nombre 2 argument de achievement est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 596-596	Le nombre 1 argument de activityCapability est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2434-2434	Le nombre 2 argument de agent est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Media.kif 3405-3405	Le nombre 2 argument de agentName est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 2199-2199	Le nombre 1 argument de agentOperatesInArea est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23260-23260	Le nombre 2 argument de alias est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Biography.kif 150-150	Le nombre 2 argument de appointedPosition est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22980-22980	Le nombre 1 argument de areaOfResponsibility est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23531-23531	Le nombre 2 argument de arrested est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1928-1928	Le nombre 3 argument de askPrice est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 2388-2388	Le nombre 1 argument de associateInOrganization est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 2399-2399	Le nombre 1 argument de associateWithStatus est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	emotion.kif 2124-2124	Le nombre 2 argument de attitudeForFormula est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	emotion.kif 2117-2117	Le nombre 2 argument de attitudeForObject est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15502-15502	Le nombre 1 argument de authors est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22965-22965	Le nombre 2 argument de benefits est une instance de AutonomousAgent

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.	Government.kif 1738-1743	MemberFn organisation est un attribut de objet objet est une instance de AutonomousAgent organisation est une instance de organisation objet est un membre de organisation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30266-30277	AutonomousAgent est une instance de AutonomousAgent Motionless est un attribut de AutonomousAgent pendant interval temporel processus processus est une instance de mouvement du corps processus est une instance de processus intentionnel processus est un agent de AutonomousAgent temps d'existence de processus prend place pendant interval temporel
No TPTP formula. May not be expressible in strict first order.	Government.kif 1664-1668	AutonomousAgent est une instance de AutonomousAgent processus est une instance de ElectionFn AutonomousAgent processus est un agent de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1731-1736	Objet est une instance de AutonomousAgent organisation est une instance de organisation objet est un membre de organisation MemberFn organisation est un attribut de objet
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 992-1008	AutonomousAgent est une instance de AutonomousAgent WebSite est une instance de WebSite collection collection est une instance de collection WebListing WebListing est une instance de WebListing hostedOn WebListing and WebSite listingSeller WebListing and AutonomousAgent WebListing est un membre de collection SellersItemsFn AutonomousAgent and WebSite est collection
No TPTP formula. May not be expressible in strict first order.	Dining.kif 772-795	AutonomousAgent est une instance de AutonomousAgent potentialCustomer agent cognitif and AutonomousAgent l'argument entit� est une instance de Reserving entit� aboutit � AutonomousAgent a la force modale de Necessity la probabilit� de entit�ES1 entit�ES1 est une instance de Reservation reservingEntity agent cognitif and entit�ES1 fulfillingEntity AutonomousAgent and entit�ES1 pourvu que customer agent cognitif and AutonomousAgent vaut nombre r�el la probabilit� de entit�ES2 entit�ES2 est une instance de Reservation reservingEntity agent cognitif and entit�ES2 fulfillingEntity AutonomousAgent and entit�ES2 pourvu que customer agent cognitif and AutonomousAgent vaut nombre r�el nombre r�el est moins que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Government.kif 1656-1662	AutonomousAgent est une instance de AutonomousAgent ElectionFn AutonomousAgent est une sous-classe de Election AutonomousAgent est une instance de organisation AutonomousAgent est une instance de secteur g�opolitique
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.	Merge.kif 11702-11712	Processus est une instance de changement de possession processus a pour origine objet processus aboutit � entit� objet est une instance de AutonomousAgent entit� est une instance de AutonomousAgent entit� est un patient de processus objet poss�de entit� pendant le d�but de temps d'existence de processus entit� poss�de entit� pendant la fin de temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1033-1060	Collection est une instance de collection WebSite est une instance de WebSite AutonomousAgent est une instance de AutonomousAgent WebListing est une instance de WebListing point temporel est une instance de point temporel listingSeller WebListing and AutonomousAgent WebListing est un membre de collection physique physique physique est une instance de WebListing physique est un membre de SellersItemsFn AutonomousAgent and WebSite point temporel est une partie de temps d'existence de physique physique est WebListing physique est un membre de collection physique est un membre de collection point temporel est une partie de temps d'existence de physique physique est une instance de WebListing SellersOtherItemsFn AutonomousAgent, WebSite, WebListing and point temporel est collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4357-4374	Processus est une instance de processus humain est une instance de AutonomousAgent Experimenting est une instance de Experimenting treatedUser humain and Experimenting experimentalVariableProcess Experimenting and processus humain exp�rimente processus humain exp�rimente processus exclusiveEvent Experimenting and processus ExperimentingERIMENTER ExperimentingERIMENTER est une instance de AutonomousAgent experimenter Experimenting and ExperimentingERIMENTER ExperimentingERIMENTER croit l'argument processus cause processus a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11719-11731	Processus est une instance de donner processus est un agent de AutonomousAgent processus aboutit � AutonomousAgent AutonomousAgent est une instance de AutonomousAgent entit� est un patient de processus processus processus est une instance de obtenir processus est un agent de AutonomousAgent processus a pour origine AutonomousAgent entit� est un patient de processus
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.	Government.kif 2465-2472	Processus est une instance de adh�rer une organisation AutonomousAgent est une instance de AutonomousAgent processus est un agent de AutonomousAgent collection est un patient de processus processus est une instance de organisation AutonomousAgent est un membre de collection
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�
No TPTP formula. May not be expressible in strict first order.	Government.kif 1411-1417	Organisation est une instance de AutonomousAgent leader organisation and humain position est une instance de position humain occupe la position de position organisation leaderPosition organisation and position
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2830-2844	Objet corpusculaire est une instance de DigitalPost AutonomousAgent est une instance de AutonomousAgent WebSite est une instance de WebSite objet corpusculaire est un composant de WebSite creator AutonomousAgent and objet corpusculaire registeredUser AutonomousAgent and WebSite objet corpusculaire a pour but entit� entit� est une instance de disseminer entit� est un agent de AutonomousAgent objet corpusculaire est un patient de entit� WebSite est un instrument pour entit�
No TPTP formula. May not be expressible in strict first order.	Government.kif 1442-1449	Humain est une instance de humain position est une instance de position organisation est une instance de AutonomousAgent leaderPosition organisation and position humain occupe la position de position organisation leader organisation and humain
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3738-3742	AutonomousAgent est une instance de AutonomousAgent ann�e est une sous-classe de ann�e FiscalYearStartingFn AutonomousAgent and ann�e est une instance de FiscalYearFn AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1496-1518	Interval temporel est une instance de interval temporel_CLASS interval temporel_CLASS est une sous-classe de processus AccessingWebPage est une instance de AccessingWebPage AutonomousAgent est une instance de AutonomousAgent interval temporel est un agent de AutonomousAgent AccessingWebPage est un agent de AutonomousAgent interval temporel prend place pendant AccessingWebPage physique est une instance de interval temporel interval temporel2 interval temporel2 est une instance de interval temporel_CLASS interval temporel2 est un agent de AutonomousAgent interval temporel2 prend place pendant AccessingWebPage le d�but de temps d'existence de interval temporel2 se produit avant le d�but de temps d'existence de interval temporel le d�but de temps d'existence de AccessingWebPage est d�but de temps d'existence de physique le d�but de temps d'existence de interval temporel est fin de temps d'existence de physique TTFxFn interval temporel_CLASS and AccessingWebPage est physique
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2956-2983	Collection est une instance de collection physique physique est un membre de collection physique est une instance de acheter objet objet est une instance de secteur g�opolitique AutonomousAgent processus AutonomousAgent est une instance de AutonomousAgent processus est une instance de acheter processus est un membre de collection processus est un agent de AutonomousAgent AutonomousAgent est situ� � objet cha�ne sympbolique entit� and entit�_PURCHASE_AMOUNT total la classe d�crite par cha�ne sympbolique and entit�_PURCHASE_AMOUNT GMBFn collection est entit�_PURCHASE_AMOUNT
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1570-1581	Processus est une instance de ViewItemRequest processus est une instance de AccessingWebPage objet corpusculaire est une instance de ViewItemPage AutonomousAgent est une instance de AutonomousAgent WebListing est une instance de promouvoir processus est un sous-processus de processus objet corpusculaire est un composant de WebListing processus aboutit � objet corpusculaire processus est un agent de AutonomousAgent viewedListing AutonomousAgent and WebListing
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2999-3026	Collection est une instance de collection physique physique est un membre de collection physique est une instance de vendre objet objet est une instance de secteur g�opolitique AutonomousAgent processus AutonomousAgent est une instance de AutonomousAgent processus est une instance de acheter processus est un membre de collection processus est un agent de AutonomousAgent AutonomousAgent est situ� � objet cha�ne sympbolique entit� and entit�_SALE_AMOUNT total la classe d�crite par cha�ne sympbolique and entit�_SALE_AMOUNT GMVFn collection est entit�_SALE_AMOUNT
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3851-3862	Processus est une instance de processus Experimenting est une instance de Experimenting processus est une instance de AutonomousAgent AutonomousAgent exp�rimente processus experimentalVariableProcess Experimenting and processus entit�_GROUP entit�_GROUP est une instance de collection processus est un membre de entit�_GROUP controlGroup entit�_GROUP and Experimenting

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 30247-30260	Alone est un attribut de entit� pendant interval temporel entit�2 processus entit� est entit�2 entit�2 est une instance de AutonomousAgent processus est une instance de interaction social temps d'existence de processus prend place pendant interval temporel involvedInEvent processus and entit� involvedInEvent processus and entit�2
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 632-640	accountAtSite UserAccount and WebSite objet WebSite_OWNER objet est une instance de Database WebSite_OWNER est une instance de AutonomousAgent WebSite_OWNER poss�de WebSite WebSite_OWNER poss�de objet UserAccount est une partie de objet
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3528-3532	firstTimeBuyers interval temporel, WebSite and collection physique est un membre de collection physique est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3576-3580	firstTimeSellers interval temporel, WebSite and collection physique est un membre de collection physique est une instance de 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 23510-23514	AchievingControl est une instance de Capturing controlled AchievingControl and objet objet est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15914-15927	Processus est une instance de Commenting entit� est une instance de processus entit� est un patient de processus AutonomousAgent processus and processus AutonomousAgent est une instance de AutonomousAgent processus est une instance de Speaking processus est une instance de Looking processus est un agent de AutonomousAgent processus est un agent de AutonomousAgent entit� est un patient de processus processus inclut une r�f�rence � entit�
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4357-4374	Processus est une instance de processus humain est une instance de AutonomousAgent Experimenting est une instance de Experimenting treatedUser humain and Experimenting experimentalVariableProcess Experimenting and processus humain exp�rimente processus humain exp�rimente processus exclusiveEvent Experimenting and processus ExperimentingERIMENTER ExperimentingERIMENTER est une instance de AutonomousAgent experimenter Experimenting and ExperimentingERIMENTER ExperimentingERIMENTER croit l'argument processus cause processus a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16299-16303	Collection est une instance de groupe physique est un membre de collection physique est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3376-3408	Interval temporel est une instance de interval temporel WebSite est une instance de WebSite collection collection est une instance de collection AutonomousAgent AutonomousAgent est un membre de collection interval temporel AutonomousAgent est une instance de AutonomousAgent interval temporel est une instance de acheter interval temporel est un agent de AutonomousAgent WebSite est un instrument pour interval temporel interval temporel prend place pendant interval temporel interval temporel_BEFORE interval temporel_BEFORE est une instance de interval temporel interval temporel_BEFORE arrive plus t�t que interval temporel interval temporel_BEFORE interval temporel_BEFORE est une instance de acheter interval temporel_BEFORE est un agent de AutonomousAgent WebSite est un instrument pour interval temporel_BEFORE interval temporel_BEFORE prend place pendant interval temporel pendant interval temporel_BEFORE SiteWideNewBuyersFn interval temporel and WebSite est collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3475-3507	Interval temporel est une instance de interval temporel WebSite est une instance de WebSite collection collection est une instance de collection AutonomousAgent AutonomousAgent est un membre de collection interval temporel AutonomousAgent est une instance de AutonomousAgent interval temporel est une instance de vendre interval temporel est un agent de AutonomousAgent WebSite est un instrument pour interval temporel interval temporel prend place pendant interval temporel interval temporel_BEFORE interval temporel_BEFORE est une instance de interval temporel interval temporel_BEFORE arrive plus t�t que interval temporel interval temporel_BEFORE interval temporel_BEFORE est une instance de vendre interval temporel_BEFORE est un agent de AutonomousAgent WebSite est un instrument pour interval temporel_BEFORE interval temporel_BEFORE prend place pendant interval temporel pendant interval temporel_BEFORE SiteWideNewSellersFn interval temporel and WebSite est collection
No TPTP formula. May not be expressible in strict first order.	Media.kif 895-901	Entit� est une instance de Logo entit� d�finie entit� entit� est une instance de AutonomousAgent entit� est une instance de produit
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16702-16706	Collection est une instance de organisation physique est un membre de collection physique est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2426-2435	Entit� est une instance de SearchQuery processus est une instance de SearchAttempt entit� d�finie processus AutonomousAgent entit� AutonomousAgent est une instance de AutonomousAgent entit� est un patient de processus processus est un agent de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1841-1858	Objet est une instance de acheter CBT est un attribut de objet entit� est un patient de objet entit� est une instance de objet objet AutonomousAgent, AutonomousAgent_LOCATION and objet_LOCATION AutonomousAgent est une instance de AutonomousAgent objet est une instance de AutonomousAgent objet est un agent de AutonomousAgent objet a pour origine objet AutonomousAgent_LOCATION est une instance de secteur g�opolitique objet_LOCATION est une instance de secteur g�opolitique objet est situ� � objet_LOCATION AutonomousAgent est situ� � AutonomousAgent_LOCATION AutonomousAgent_LOCATION est objet_LOCATION
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1727-1746	Objet est une instance de financial transaction BusinessToBusiness est un attribut de objet UserAccount UserAccount, AutonomousAgent, AutonomousAgent and WebSite UserAccount est une instance de UserAccount UserAccount est une instance de UserAccount AutonomousAgent est une instance de AutonomousAgent AutonomousAgent est une instance de AutonomousAgent WebSite est une instance de WebSite objet est un agent de AutonomousAgent objet aboutit � AutonomousAgent WebSite est un instrument pour objet hasAccount AutonomousAgent and UserAccount hasAccount AutonomousAgent and UserAccount accountAtSite UserAccount and WebSite accountAtSite UserAccount and WebSite BusinessAccount est un attribut de UserAccount BusinessAccount est un attribut de UserAccount
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1759-1778	Objet est une instance de financial transaction BusinessToConsumer est un attribut de objet UserAccount UserAccount, AutonomousAgent, AutonomousAgent and WebSite UserAccount est une instance de UserAccount UserAccount est une instance de UserAccount AutonomousAgent est une instance de AutonomousAgent AutonomousAgent est une instance de AutonomousAgent WebSite est une instance de WebSite objet est un agent de AutonomousAgent objet aboutit � AutonomousAgent WebSite est un instrument pour objet hasAccount AutonomousAgent and UserAccount hasAccount AutonomousAgent and UserAccount accountAtSite UserAccount and WebSite accountAtSite UserAccount and WebSite BusinessAccount est un attribut de UserAccount ConsumerAccount est un attribut de UserAccount
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1791-1810	Objet est une instance de financial transaction ConsumerToConsumer est un attribut de objet UserAccount UserAccount, AutonomousAgent, AutonomousAgent and WebSite UserAccount est une instance de UserAccount UserAccount est une instance de UserAccount AutonomousAgent est une instance de AutonomousAgent AutonomousAgent est une instance de AutonomousAgent WebSite est une instance de WebSite objet est un agent de AutonomousAgent objet aboutit � AutonomousAgent WebSite est un instrument pour objet hasAccount AutonomousAgent and UserAccount hasAccount AutonomousAgent and UserAccount accountAtSite UserAccount and WebSite accountAtSite UserAccount and WebSite ConsumerAccount est un attribut de UserAccount ConsumerAccount est un attribut de UserAccount
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1822-1839	Objet est une instance de vendre CBT est un attribut de objet entit� est un patient de objet entit� est une instance de objet AutonomousAgent physique, physique_LOCATION and AutonomousAgent_LOCATION physique est une instance de AutonomousAgent AutonomousAgent est une instance de AutonomousAgent objet aboutit � physique objet est un agent de AutonomousAgent physique_LOCATION est une instance de secteur g�opolitique AutonomousAgent_LOCATION est une instance de secteur g�opolitique AutonomousAgent est situ� � AutonomousAgent_LOCATION physique est situ� � physique_LOCATION physique_LOCATION est AutonomousAgent_LOCATION
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3623-3627	newRegisteredUsers interval temporel, WebSite and collection physique est un membre de collection physique est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1026-1030	subjectiveAttribute entit�, attribut and AutonomousAgent attribut est une instance de TimeAttribute entit� est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 956-980	OpenLayout est un attribut de objet objet est une instance de pi�ce objet objet and objet objet est une instance de r�gion objet est une instance de r�gion objet est situ� � objet objet est situ� � objet objet est objet objet est Adjacent � objet formule formule formule est une instance de processus formule est une instance de processus objet a pour but formule objet a pour but formule objet est une instance de AutonomousAgent objet est situ� � objet objet est capable de faire voir dans le r�le agent objet est capable de faire voir dans le r�le patient
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 736-748	browserID Identifier, WebBrowser and WebSite cha�ne sympbolique processus, AutonomousAgent and ComputerProcess cha�ne sympbolique est une instance de WebPage subString cha�ne sympbolique and WebSite processus est une instance de AccessingWebPage AutonomousAgent est une instance de AutonomousAgent processus est un agent de AutonomousAgent programRunning ComputerProcess and WebBrowser ComputerProcess cause processus processus aboutit � cha�ne sympbolique Identifier d�finie AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 766-773	colocatedAgent AutonomousAgent and attribut relationnel AutonomousAgent2 objet AutonomousAgent2 est une instance de AutonomousAgent attribut relationnel est un attribut de AutonomousAgent2 AutonomousAgent est situ� � objet AutonomousAgent2 est situ� � objet
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4345-4355	exclusiveEvent Experimenting and processus processus humain processus est une instance de processus humain est une instance de AutonomousAgent treatedUser humain and Experimenting experimentalVariableProcess Experimenting and processus humain exp�rimente processus humain exp�rimente processus temps d'existence de processus arrive plus t�t que temps d'existence de processus

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: