TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1868-1871
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2448-2454
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 491-495
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2444-2444	Le nombre 1 argument de destination est une instance de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2445-2445	Le nombre 2 argument de destination est une instance de entit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2442-2442	destination est une instance de r�le d�pendant du cas
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2443-2443	destination est une instance de relation partielle
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2446-2446	destination est une sous-relation de involvedInEvent

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 93-93
No TPTP formula. May not be expressible in strict first order.	english_format.kif 93-93
No TPTP formula. May not be expressible in strict first order.	french_format.kif 69-69
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 71-71
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1895-1895
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 21-21
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 105-105
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 81-81
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 104-104
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 112-112
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 88-88
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 68-68
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 158-158
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19272-19272
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 94-94
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19271-19271
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19270-19270
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 29-29
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 159-159

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1818-1828	Processus est une instance de Withdrawal FinancialAccount est une instance de FinancialAccount processus a pour origine CurrencyFn FinancialAccount processus processus est une instance de Penalty processus aboutit � CurrencyFn FinancialAccount processus cause processus liquidity FinancialAccount and HighLiquidity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29779-29788	betweenOnPath objet, objet, objet and objet transf�re est une instance de transf�re objet est le chemin le long duquel transf�re se produit transf�re a pour origine objet transf�re aboutit � objet beforeOnPath objet, objet, objet and transf�re beforeOnPath objet, objet, objet and transf�re
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 153-172	Organisation est capable de faire ValetParking dans le r�le agent customer agent cognitif and organisation organisation est situ� � objet processus est une instance de Arriving processus est un agent de agent cognitif entit� est un patient de processus processus aboutit � objet humain humain occupe la position de Valet organisation l'argument entit� entit� entit� est une instance de ValetParking entit� est un agent de humain entit� est un patient de entit� entit� aboutit � entit� entit� est une instance de ParkingRegion a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Dining.kif 130-150	customer agent cognitif and AutonomousAgent corkageFee mesure de devise, objet and AutonomousAgent objet est une instance de objet processus processus est une instance de acheter objet est un patient de processus processus aboutit � agent cognitif processus a pour origine AutonomousAgent processus est une instance de boire processus est un agent de agent cognitif objet est une resource pour processus processus processus est une instance de Corkage processus est un agent de agent cognitif processus inclut une r�f�rence � objet processus aboutit � AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Communications.kif 202-214	Processus aboutit � objet processus est une instance de Messaging entit� est un patient de processus objet est une instance de Telex processus entit� objet est un instrument pour processus entit� est le resultat de processus entit� d�finie entit� entit� est une instance de texte le d�but de temps d'existence de processus se produit avant le d�but de temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2585-2603	engineIdleSpeed InternalCombustionEngine and RotationFn nombre r�el MilesPerHour(s) and dur�e temporel objet est une instance de Automobile processus est une instance de GasPedal processus est une instance de Pushing processus aboutit � objet InternalCombustionEngine est une partie de objet objet est une partie de objet objet est une instance de Crankshaft objet est une partie de InternalCombustionEngine la mesure de objet est RotationFn entit� MilesPerHour(s) and dur�e temporel pendant temps d'existence de processus l'argument entit� est plus grand que nombre r�el a la force modale de Likely
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 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.	Medicine.kif 6447-6459	AVPUVerbalStatus est un attribut de AutonomousAgent pendant interval temporel processus est une instance de Speaking processus aboutit � AutonomousAgent temps d'existence de processus prend place pendant interval temporel processus processus est une instance de processus intentionnel processus est un agent de AutonomousAgent temps d'existence de processus prend place pendant interval temporel processus cause processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29620-29632	Processus est une instance de Apologizing processus est un agent de processusG processus aboutit � AutonomousAgent processusCT suffers processusCT and AutonomousAgent processusCT est un agent de processusG processusG ne veut %n{pas} processusCT pendant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3759-3784	AccessingWebPage est une instance de AccessingWebPage entit� est une instance de WebPage processus est une instance de DataTransfer objet est une instance de Server processus est une instance de demander AutonomousAgent est une instance de WebBrowser interval temporel est une instance de interval temporel entit� est un patient de AccessingWebPage processus est un agent de AutonomousAgent processus aboutit � objet entit� est un patient de processus processus a pour origine objet processus aboutit � AutonomousAgent entit� est un patient de processus processus est un sous-processus de AccessingWebPage processus est un sous-processus de AccessingWebPage la fin de temps d'existence de processus est d�but de interval temporel la fin de temps d'existence de processus est fin de interval temporel SiteSpeedFn AccessingWebPage est interval temporel
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.	FinancialOntology.kif 759-775	LiabilityAccount est une instance de LiabilityAccount minimumPayment LiabilityAccount, nombre r�el unit� de mesure(s) and MonthDuration unit� de mesure est une instance de UnitOfCurrency processus interval temporel interval temporel est une instance de mois processus aboutit � CurrencyFn LiabilityAccount paymentsPerPeriod LiabilityAccount, nombre r�el unit� de mesure(s) and interval temporel nombre r�el est moins que nombre r�el processus processus est une instance de Penalty processus aboutit � CurrencyFn LiabilityAccount
No TPTP formula. May not be expressible in strict first order.	Music.kif 1256-1264	Entit� est une instance de Bell processus est une instance de impacte processus aboutit � entit� processus processus est une instance de MusicalTone processus cause processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18679-18695	Transf�re est une instance de Bequeathing transf�re est un agent de AutonomousAgent transf�re aboutit � entit� objectTransferred transf�re and AutonomousAgentROP processus processus est une instance de mort AutonomousAgent exp�rimente processus temps d'existence de processus arrive plus t�t que temps d'existence de transf�re AutonomousAgent poss�de AutonomousAgentROP pendant immediatement avant temps d'existence de processus confersNorm AutonomousAgent, entit� poss�de AutonomousAgentROP and Permission
No TPTP formula. May not be expressible in strict first order.	Cars.kif 693-707	Objet est une instance de BrakePedal processus est une instance de Pushing objet est une instance de Vehicle processus aboutit � objet eventLocated processus and objet objet est une partie de objet objet a pour but entit� entit� entit� est une instance de WearingFrictionSurface entit� est une instance de Friction entit� est un instrument pour entit� processus cause entit�
No TPTP formula. May not be expressible in strict first order.	Dining.kif 586-602	Processus est une instance de CateringService processus est un agent de AutonomousAgent processus aboutit � processusUST AutonomousAgent est situ� � objet customer processusUST and AutonomousAgent processus entit� and processus processus est une instance de cuisiner processus est un agent de AutonomousAgent entit� est le resultat de processus entit� est un patient de processus processus est une instance de manger processus est un agent de processusUST eventLocated processus and objet objet est objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11656-11666	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.	Mid-level-ontology.kif 21512-21517	Processus est une instance de ClosingContract processus est un agent de Agreement processus aboutit � agent cognitif partyToAgreement agent cognitif and Agreement
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 171-177	Certificat est une instance de PayCheck issuedBy certificat and agent cognitif processus est une instance de donner processus aboutit � AutonomousAgent AutonomousAgent emploie agent cognitif
No TPTP formula. May not be expressible in strict first order.	Dining.kif 552-561	Processus est une instance de DeliveryService processus aboutit � entit� deliveryRegion AutonomousAgent and secteur g�ographique la probabilit� de entit� est situ� � secteur g�ographique pourvu que processus est un agent de AutonomousAgent vaut nombre r�el la probabilit� de entit� est situ� � secteur g�ographique pourvu que processus est un agent de 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.	Dining.kif 564-569	Processus est une instance de DeliveryService processus a pour origine objet processus aboutit � entit� objet est entit�
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 228-235	Processus est une instance de endommager processus est un agent de AutonomousAgent processus aboutit � agent cognitif agent cognitif est une instance de agent cognitif agent cognitif croit Dangerous est un attribut de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23583-23589	Processus est une instance de conduire processus est un sous-processus de processus processus est une instance de transporter processus aboutit � entit� processus aboutit � entit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11587-11592	Processus est une instance de Falling processus a pour origine objet processus aboutit � objet objet est Below � objet

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 7727-7733	customer agent cognitif and AutonomousAgent processus processus est une instance de financial transaction processus est un agent de AutonomousAgent processus aboutit � agent cognitif
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3635-3642	customerRepresentative agent cognitif, agent cognitif and organisation processus processus est une instance de financial transaction organisation emploie agent cognitif processus est un agent de agent cognitif processus aboutit � agent cognitif
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16852-16861	almaMater humain and PostSecondarySchool processus processus est une instance de processus educationnel processus aboutit � humain eventLocated processus and PostSecondarySchool Student est un attribut de humain pendant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 487-499	Processus est un agent de AutonomousAgent processus a pour origine objet physique est un patient de processus valeur de physique est mesure de devise financial transaction financial transaction est un sous-processus de processus financial transaction est une instance de Payment transactionAmount financial transaction and mesure de devise financial transaction a pour origine AutonomousAgent financial transaction aboutit � objet
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 655-667	amountDue FinancialAccount, mesure de devise and position temporel accountHolder FinancialAccount and agent cognitif agent cognitif est oblig� d'ex�cut� des t�ches du type la classe d�crite par cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Music.kif 408-419	DemoRecording est un attribut de objet objet est une instance de Recording objet a pour but entit� entit� and objetUSIC entit� est une instance de Demonstrating record objet and objetUSIC objetUSIC est un patient de entit� entit� aboutit � entit� entit� est une instance de GroupOfPeople
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20601-20623	Waiter est un attribut de agent cognitif agent cognitif est une instance de humain AutonomousAgent emploie agent cognitif AutonomousAgent est une instance de Restaurant customer agent cognitif and AutonomousAgent agent cognitif est situ� � objet objet est une instance de Table objet entit�, entit� and objet AutonomousAgent poss�de objet objet est une instance de KitchenArea objet est une instance de DiningArea objet est situ� � objet agent cognitif a pour but entit� est une instance de Carrying entit� est un agent de agent cognitif entit� a pour origine objet entit� aboutit � objet entit� est un patient de entit� entit� est une instance de FoodForFn humain
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1261-1271	borrower Loan and agent cognitif lender Loan and agent cognitif agreementPeriod Loan and interval temporel interestEarned Loan, Interest and interval temporel financial transaction financial transaction a pour origine agent cognitif transactionAmount financial transaction and Interest financial transaction aboutit � agent cognitif
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 153-172	Organisation est capable de faire ValetParking dans le r�le agent customer agent cognitif and organisation organisation est situ� � objet processus est une instance de Arriving processus est un agent de agent cognitif entit� est un patient de processus processus aboutit � objet humain humain occupe la position de Valet organisation l'argument entit� entit� entit� est une instance de ValetParking entit� est un agent de humain entit� est un patient de entit� entit� aboutit � entit� entit� est une instance de ParkingRegion a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3545-3550	connectedPeripheral ComputerHardware and Computer ComputerHardware est une instance de ComputerOutputDevice ComputerHardware est une instance de ComputerLASS DataTransfer est capable de faire ComputerLASS dans le r�le destination
No TPTP formula. May not be expressible in strict first order.	Dining.kif 130-150	customer agent cognitif and AutonomousAgent corkageFee mesure de devise, objet and AutonomousAgent objet est une instance de objet processus processus est une instance de acheter objet est un patient de processus processus aboutit � agent cognitif processus a pour origine AutonomousAgent processus est une instance de boire processus est un agent de agent cognitif objet est une resource pour processus processus processus est une instance de Corkage processus est un agent de agent cognitif processus inclut une r�f�rence � objet processus aboutit � AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2392-2407	customer agent cognitif and AutonomousAgent AutonomousAgent emploie agent cognitif TravelerAccommodation est un attribut de AutonomousAgent Porter est un attribut de agent cognitif agent cognitif poss�de objet objet est une instance de TravelContainer objet processus objet est une instance de HotelUnit processus est une instance de Carrying processus est un agent de agent cognitif processus aboutit � objet processus a pour origine objet
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 807-816	downPayment Loan and mesure de devise agreementEffectiveDate Loan and point temporel financial transaction transactionAmount financial transaction and mesure de devise la date de financial transaction est point temporel financial transaction aboutit � CurrencyFn Loan
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1347-1358	Composant d'un appareil est un composant de Internet composant d'un appareil est un composant de Internet composant d'un appareil est composant d'un appareil Internet a pour but entit� entit� est une instance de communication entit� est un agent de composant d'un appareil entit� aboutit � composant d'un appareil Internet est un instrument pour entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2567-2583	La mesure de objet est function de quantit� pendant position temporel engineIdleSpeed InternalCombustionEngine and function de quantit� objet est une instance de Automobile InternalCombustionEngine est une partie de objet objet est une partie de InternalCombustionEngine l'argument entit� entit� entit� prend place pendant position temporel entit� est une instance de Pushing entit� aboutit � entit� entit� est une partie de objet a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 151-167	Expellee est un attribut de entit� entit� est un citoyen de entit�-NATION pendant position temporel position temporel est une instance de interval temporel processus objet objet est une instance de nation objet est entit�-NATION processus est une instance de Translocation processus a pour origine objet entit� est un patient de processus processus aboutit � entit�-NATION position temporel est une partie de temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11141-11151	Objet est une instance de PulmonaryArtery processus est une instance de transf�re entit� est un patient de processus objet est un instrument pour processus entit� est une instance de sang entit� entit� est une instance de Lung processus aboutit � entit�
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.	FinancialOntology.kif 1212-1222	FinancialAccount est une instance de CreditAccount accountAt FinancialAccount and FinancialOrganization accountHolder FinancialAccount and agent cognitif interestEarned FinancialAccount, Interest and interval temporel financial transaction financial transaction a pour origine agent cognitif transactionAmount financial transaction and Interest financial transaction aboutit � FinancialOrganization
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 686-699	FinancialAccount est une instance de FinancialAccount minimumBalance FinancialAccount, OpeningAnAccount and nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfCurrency financial transaction point temporel and nombre r�el financial transaction aboutit � CurrencyFn FinancialAccount transactionAmount financial transaction and nombre r�el unit� de mesure(s) nombre r�el est plus grand ou �gal � nombre r�el agreementEffectiveDate FinancialAccount and point temporel la date de financial transaction est point temporel
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 701-714	FinancialAccount est une instance de FinancialAccount minimumBalance FinancialAccount, UsingAnAccount and nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfCurrency currentAccountBalance FinancialAccount, jour and nombre r�el unit� de mesure(s) nombre r�el est moins que nombre r�el processus processus est une instance de Penalty la date de processus est jour processus aboutit � CurrencyFn FinancialAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 759-775	LiabilityAccount est une instance de LiabilityAccount minimumPayment LiabilityAccount, nombre r�el unit� de mesure(s) and MonthDuration unit� de mesure est une instance de UnitOfCurrency processus interval temporel interval temporel est une instance de mois processus aboutit � CurrencyFn LiabilityAccount paymentsPerPeriod LiabilityAccount, nombre r�el unit� de mesure(s) and interval temporel nombre r�el est moins que nombre r�el processus processus est une instance de Penalty processus aboutit � CurrencyFn LiabilityAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1043-1052	FinancialAccount est une instance de SavingsAccount accountHolder FinancialAccount and agent cognitif interestEarned FinancialAccount, Interest and interval temporel financial transaction financial transaction aboutit � CurrencyFn FinancialAccount transactionAmount financial transaction and Interest financial transaction aboutit � agent cognitif
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1115-1124	FinancialAccount est une instance de TraditionalSavingsAccount processus est une instance de Withdrawal processus a pour origine CurrencyFn FinancialAccount processus processus est une instance de Penalty processus aboutit � CurrencyFn FinancialAccount processus cause processus
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 44-59	Processus est une instance de Bleeding entit� est une instance de mort formule est une instance de humain AutonomousAgent est une instance de humain AutonomousAgent exp�rimente processus formule est Near � AutonomousAgent l'argument processus cause entit� a la force modale de Likely entit� entit� est une instance de attacher entit� est un agent de formule entit� aboutit � AutonomousAgent est oblig� d'ex�cut� des t�ches du type formule

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)

KB Term:			Term intersection

English Word: