TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2743-2744
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8514-8515
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1469-1470
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8511-8511	Le nombre 1 argument de FutureFn est une instance de position temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8508-8508	FutureFn est une instance de relation temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8510-8510	FutureFn est une instance de relation total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8509-8509	FutureFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8512-8512	Le domaine de FutureFn est une instance de interval temporel

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 461-461
No TPTP formula. May not be expressible in strict first order.	english_format.kif 467-467
No TPTP formula. May not be expressible in strict first order.	french_format.kif 267-267
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 115-115
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2057-2057
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 219-219
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 273-273
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 602-602
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 155-155
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 288-288
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 294-294
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 240-240
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25304-25304
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 462-462
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25303-25303
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25302-25302
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 241-241

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14055-14058	agreementExpirationDate Agreement and point temporel Agreement a un attribute ActiveAgreement pendant apr�s point temporel
No TPTP formula. May not be expressible in strict first order.	Government.kif 546-553	independenceDate secteur g�opolitique and interval temporel position temporel est une instance de interval temporel entit� dependentGeopoliticalArea secteur g�opolitique and entit� pendant apr�s position temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10222-10237	Processus est une instance de mort AutonomousAgent est une instance de organisme AutonomousAgent exp�rimente processus entit� entit� entit� est le resultat de processus entit� est une instance de objet organique Dead est un attribut de entit� pendant apr�s temps d'existence de processus entit� est une partie de entit� pendant immediatement apr�s temps d'existence de processus entit� est une partie de AutonomousAgent pendant immediatement avant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12046-12062	Processus est une instance de Deciding processus est un agent de AutonomousAgent entit� est un patient de processus entit� est une instance de ensemble ContentBearingPhysical est le resultat de processus ContentBearingPhysical est une instance de ContentBearingPhysical containsFormula ContentBearingPhysical and entit� entit� est un entit� entit� est une instance de processus intentionnel entit� est un agent de AutonomousAgent pendant apr�s temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 436-453	Financial transaction est une instance de Deposit FinancialAccount est une instance de FinancialAccount financial transaction aboutit � CurrencyFn FinancialAccount transactionAmount financial transaction and nombre r�el unit� de mesure(s) currentAccountBalance FinancialAccount, immediatement avant temps d'existence de financial transaction and nombre r�el unit� de mesure(s) nombre r�el est nombre r�el + nombre r�el) currentAccountBalance FinancialAccount, immediatement apr�s apr�s financial transaction and nombre r�el unit� de mesure(s)
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3628-3644	Transf�re est une instance de Injecting objet est une instance de Adalimumab objectTransferred transf�re and objet transf�re est situ� � objet objet est une instance de partie du corps transf�re aboutit � entit� l'argument entit� PainFn objet est un attribut de entit� pendant entit� entit� prend place pendant apr�s temps d'existence de transf�re a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12305-12311	Processus est une instance de tuer entit� est un patient de processus Living est un attribut de entit� pendant le d�but de temps d'existence de processus Dead est un attribut de entit� pendant apr�s temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8624-8635	Objet est une instance de Poison d�palcement est une instance de ing�rer moves d�palcement and objet AutonomousAgent exp�rimente d�palcement l'argument Blind est un attribut de AutonomousAgent pendant apr�s temps d'existence de d�palcement a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13257-13262	Processus est une instance de Naming entit� est un patient de processus processus aboutit � entit� entit� s'appele nom entit� pendant apr�s temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Media.kif 153-160	Processus est une instance de ReachingAgreement processus est un agent de AutonomousAgent entit� est le resultat de processus entit� est une instance de Agreement partyToAgreement AutonomousAgent and entit� pendant apr�s temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 466-481	Financial transaction est une instance de Withdrawal FinancialAccount est une instance de FinancialAccount financial transaction a pour origine FinancialAccount transactionAmount financial transaction and nombre r�el unit� de mesure(s) currentAccountBalance FinancialAccount, immediatement avant temps d'existence de financial transaction and nombre r�el unit� de mesure(s) nombre r�el est nombre r�el + nombre r�el) currentAccountBalance FinancialAccount, immediatement apr�s apr�s financial transaction and nombre r�el unit� de mesure(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22111-22119	Processus est une instance de SuicideBombing processus est un agent de agent cognitif agent cognitif croit Dead est un attribut de agent cognitif pendant apr�s temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9697-9709	Physique est une instance de Antidepressant physique a pour but entit� entit� entit� est une instance de ing�rer objectTransferred entit� and physique physique est un agent de entit� Depression est un attribut de entit� pendant apr�s temps d'existence de entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9717-9729	Physique est une instance de Antipsychotic physique a pour but entit� entit� entit� est une instance de ing�rer objectTransferred entit� and physique physique est un agent de entit� Psychosis est un attribut de entit� pendant apr�s temps d'existence de entit�
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1046-1059	Entit� est une instance de VaccinatableDisease entit� entit� and processus entit� est une instance de Vaccine processus est une instance de mettre processus aboutit � entit� entit� est une instance de humain l'argument entit� est un attribut de entit� pendant apr�s temps d'existence de processus a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8521-8523	Interval temporel est une instance de interval temporel apr�s interval temporel est intervale entre la fin de interval temporel et PositiveInfinity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8517-8519	Interval temporel est une instance de interval temporel interval temporel rencontre apr�s interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8535-8537	Position temporel est une instance de interval temporel immediatement apr�s position temporel commence apr�s position temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12421-12441	Physique est une instance de AntiInflammatory physique a pour but entit� entit� and entit�N entit� est une instance de Inflammation entit� exp�rimente entit� entit�N est une instance de ing�rer le d�but de temps d'existence de entit� se produit avant le d�but de temps d'existence de entit�N entit�2 entit�2 est une instance de Inflammation entit� exp�rimente entit�2 pendant apr�s temps d'existence de entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22101-22109	Processus est une instance de SuicideBombing AutonomousAgent processus est un agent de AutonomousAgent Dead est un attribut de AutonomousAgent pendant apr�s temps d'existence de processus

statement

No TPTP formula. May not be expressible in strict first order.	Media.kif 2501-2504	Serbia est une instance de EuropeanNation position temporel est une instance de le jour 5 pendant apr�s position temporel
No TPTP formula. May not be expressible in strict first order.	Media.kif 2496-2499	Serbia est une instance de IndependentState position temporel est une instance de le jour 5 pendant apr�s position temporel
No TPTP formula. May not be expressible in strict first order.	Media.kif 2506-2509	Serbia s'appele nom "Republic of Serbia" position temporel est une instance de le jour 5 pendant apr�s position temporel
No TPTP formula. May not be expressible in strict first order.	Media.kif 2528-2531	Position temporel est une instance de le jour 3 Montenegro est une instance de EuropeanNation pendant apr�s position temporel
No TPTP formula. May not be expressible in strict first order.	Media.kif 2523-2526	Position temporel est une instance de le jour 3 Montenegro est une instance de IndependentState pendant apr�s position temporel
No TPTP formula. May not be expressible in strict first order.	Media.kif 2533-2536	Position temporel est une instance de le jour 3 Montenegro s'appele nom "Montenegro" pendant apr�s position temporel
No TPTP formula. May not be expressible in strict first order.	Media.kif 2546-2550	Position temporel est une instance de le jour 3 SerbiaAndMontenegro est une instance de IndependentState pendant apr�s position temporel

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: