TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2154-2157
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4416-4424
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 810-814
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4413-4413	Le nombre 1 argument de refers est une instance de entit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4414-4414	Le nombre 2 argument de refers est une instance de entit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4412-4412	refers est une instance de pr�dicat binaire

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 225-225
No TPTP formula. May not be expressible in strict first order.	english_format.kif 226-226
No TPTP formula. May not be expressible in strict first order.	french_format.kif 132-132
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 246-246
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1961-1961
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 84-84
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 293-293
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 284-284
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 151-151
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 137-137
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 438-438
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23322-23322	deceptiveIdentifier est une sous-relation de refers
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16145-16145	describes est une sous-relation de refers
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3006-3006	emailAddress est une sous-relation de refers
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4426-4426	names est une sous-relation de refers
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3679-3679	phoneNumber est une sous-relation de refers
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16608-16608	registeredItem est une sous-relation de refers
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4450-4450	represents est une sous-relation de refers
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49106-49106
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 226-226
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49105-49105
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49104-49104
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 94-94

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 16199-16211	Entit� est une instance de LegalAward entit� inclut une r�f�rence � processus processus est une instance de action l�gale processus est un agent de agent cognitif entit� autorise agent cognitif � ex�cut� des t�ches du type entit� entit� and entit� entit� est une instance de obtenir agent cognitif exp�rimente entit� entit� est un patient de entit� valeur de entit� est entit�
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1882-1891	Objet est une instance de Electrocardiogram EKGAbnormal est un attribut de objet objet inclut une r�f�rence � objet objet est une partie de objet objet est une instance de Heart l'argument ImpairedBodyPartFn Heart est un attribut de objet a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1865-1875	Objet est une instance de Electrocardiogram EKGNormal est un attribut de objet objet inclut une r�f�rence � objet objet est une partie de objet objet est une instance de Heart l'argument ImpairedBodyPartFn Heart est un attribut de objet a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3042-3050	Entit� est une instance de ForceQuit entit� inclut une r�f�rence � ComputerProcess programRunning ComputerProcess and ComputerProcessROG Abort Abort est une instance de Abort processAborted Abort and ComputerProcess
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4195-4210	Processus est une instance de Misdiagnosing processus est un agent de agent cognitif processus inclut une r�f�rence � entit� entit� est une instance de humain agent cognitifIS containsFormula processus and agent cognitifIS est un attribut de entit� agent cognitifIS est une instance de maladie ou syndrome agent cognitif croit agent cognitifIS est un attribut de entit� truth agent cognitifIS est un attribut de entit� and False
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9277-9287	Entit� est une instance de Prescription objet est une instance de Medicine entit� inclut une r�f�rence � objet entit�HARM transf�re transf�re est une instance de vendre objectTransferred transf�re and objet transf�re est un agent de entit�HARM Pharmacist est un attribut de transf�re
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 949-964	Processus est une instance de DutyTax processus inclut une r�f�rence � entit� entit� est un patient de processus processus objet and entit� processus est une instance de transf�re entit� est un patient de processus processus a pour origine objet processus aboutit � entit� objet est une instance de nation entit� est une instance de nation objet est entit� temps d'existence de processus arrive plus t�t que temps d'existence de processus processus cause processus
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4152-4157	treatedPageDefinition Experimenting and formule WebPage est une instance de WebPage formule inclut une r�f�rence � WebPage treatedPage WebPage and Experimenting

consequent

No TPTP formula. May not be expressible in strict first order.	emotion.kif 374-387	AppraisalAsJustTreatment est un attribut de agent cognitif agent cognitifJT est une instance de AppraisalProcess agent cognitifJT est un agent de agent cognitif processus agent cognitif2 processus est une instance de processus agent cognitifJT inclut une r�f�rence � processus processus est un agent de agent cognitif2 agent cognitif est agent cognitif2 agent cognitif est un patient de processus agent cognitif veut processus
No TPTP formula. May not be expressible in strict first order.	emotion.kif 349-363	AppraisalAsUnjustTreatment est un attribut de agent cognitif agent cognitifUJ est une instance de AppraisalProcess agent cognitifUJ est un agent de agent cognitif processus agent cognitif2 processus est une instance de processus agent cognitifUJ inclut une r�f�rence � processus processus est un agent de agent cognitif2 agent cognitif est agent cognitif2 agent cognitif est un patient de processus agent cognitif ne veut %n{pas} processus
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.	Law.kif 295-306	defenseLawyer action l�gale and agent cognitif defendant action l�gale and agent cognitif agent cognitif desire entit� entit� est une instance de LegalDecision entit� inclut une r�f�rence � action l�gale agent cognitif ne veut %n{pas} entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16765-16775	Objet est une instance de ArtSchool processus est une instance de processus educationnel eventLocated processus and objet processus entit� processus est une instance de faire entit� est un patient de processus entit� est une instance de objet d'art processus inclut une r�f�rence � processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15886-15899	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.	QoSontology.kif 231-236	ComputerDirectory est une instance de ComputerDirectory ComputerFile est une instance de ComputerFile directoryOf ComputerFile and ComputerDirectory AddressFn ComputerFile inclut une r�f�rence � ComputerDirectory
No TPTP formula. May not be expressible in strict first order.	WMD.kif 666-671	Objet est une instance de NuclearWeaponResearchFacility processus est une instance de ResearchingWeaponOfMassDestruction eventLocated processus and objet processus inclut une r�f�rence � NuclearWeapon
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7158-7171	Agent cognitif est une instance de HealthInsuranceCompany customer agent cognitif and AutonomousAgent agent cognitif a le but entit� entit� entit� est une instance de processus de diagnostique entit� est une instance de processus therapeutique AutonomousAgent exp�rimente entit� entit� est une instance de Payment entit� est un agent de agent cognitif entit� inclut une r�f�rence � entit� pour AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Justice.kif 87-96	Objet est une instance de humain Criminal est un attribut de objet entit� processus entit� est une instance de CriminalAction processus est une instance de LegalConviction processus inclut une r�f�rence � entit� objet est un patient de processus
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2078-2091	Objet corpusculaire est une instance de ViewItemPage processus est une instance de WebListing processus est un composant de objet corpusculaire entit� est un patient de processus entit� est une instance de physique processus processus and processusCONTENT processus est une instance de d�clarer processus est un patient de processus processus inclut une r�f�rence � entit� processusCONTENT est le resultat de processus processusCONTENT est une partie de objet corpusculaire
No TPTP formula. May not be expressible in strict first order.	Law.kif 526-540	Processus est une instance de processus intentionnel ContentBearingPhysical est le resultat de processus recordForAgreement ContentBearingPhysical and Agreement Legal est un attribut de Agreement processus processus, processus1 and processus2 processus est une instance de Offering processus est une instance de ReachingAgreement processus inclut une r�f�rence � Agreement processus inclut une r�f�rence � Agreement processus est un agent de processus1 processus est un agent de processus2 temps d'existence de processus arrive plus t�t que temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20458-20465	Processus est une instance de SickLeave processus est un agent de AutonomousAgent entit� entit� est une instance de maladie ou syndrome processus inclut une r�f�rence � entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21146-21176	Proposition est une instance de Argument processus est une instance de raisonner proposition est une instance de Archeology proposition est une sous-proposition de proposition processus exprime le contenu de proposition processus entit�, physique, nombre r�el, entit� and entit� processus est une instance de Discovering physique est une instance de objet physique est un patient de processus processus inclut une r�f�rence � processus temps d'existence de processus arrive plus t�t que temps d'existence de processus l' physique est nombre r�el YearDuration(s) nombre r�el est plus grand que 50 entit� est une surface de entit� entit� est une instance de BodyOfWater physique est Below � entit� entit� est une surface de entit� entit� est une instance de zone de terre physique est Below � entit� pendant immediatement avant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30018-30048	Processus est une instance de BreakingRecord processus est un agent de AutonomousAgent ensemble classe, processus, point temporel, r�le d�pendant du cas, objet and entit� ensemble est une instance de ensemble AutonomousAgent est un ensemble classe est une sous-classe de processus objet est une instance de r�gion point temporel est une instance de point temporel entit� est une instance de quantit� processus est une instance de classe processus inclut une r�f�rence � entit� entit� inclut une r�f�rence � processus playsRoleInEvent AutonomousAgent, r�le d�pendant du cas and processus eventLocated processus and objet entit� entit� entit� est une instance de ensemble entit� est AutonomousAgent entit� est une instance de classe playsRoleInEvent entit�, r�le d�pendant du cas and entit� eventLocated entit� and objet pendant l'intervale entre point temporel et la fin de temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22719-22723	inventory objet exprimant un sens and collection physique est un membre de collection objet exprimant un sens inclut une r�f�rence � physique
No TPTP formula. May not be expressible in strict first order.	Law.kif 318-328	prosecutor action l�gale and agent cognitif defendant action l�gale and agent cognitif agent cognitif desire entit� entit� est une instance de LegalDecision entit� inclut une r�f�rence � action l�gale agent cognitif ne veut %n{pas} entit�
No TPTP formula. May not be expressible in strict first order.	Sports.kif 524-533	Coach est un attribut de AutonomousAgent entit� entit� and processus entit� est une instance de humain entit� est une instance de jeu processus est une instance de processus educationnel 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.	Mid-level-ontology.kif 21088-21100	ArtCritic est un attribut de objet objet a pour but entit� entit� and entit� entit� est une instance de objet d'art temps d'existence de objet recouvre temps d'existence de entit� entit� est une instance de entit� entit� est une sous-classe de article objet est l' auteur de entit� entit� inclut une r�f�rence � entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21065-21079	NewsReporter est un attribut de objet objet a pour but entit� entit� and entit� entit� est une instance de processus temps d'existence de objet recouvre temps d'existence de entit� entit� est une instance de entit� entit� est une sous-classe de Newspaper entit� est une sous-classe de NewsProgram objet est l' auteur de entit� entit� inclut une r�f�rence � entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26578-26580	Historical est un attribut de objet History inclut une r�f�rence � objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9317-9329	USNonPrescriptionDrug est un attribut de objet l'argument entit� entit� est une instance de acheter objectTransferred entit� and objet entit� entit� est une instance de Prescription entit� inclut une r�f�rence � objet a la force modale de Legal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9295-9307	USPrescriptionDrug est un attribut de objet l'argument entit� entit� est une instance de acheter objectTransferred entit� and objet entit� entit� est une instance de Prescription entit� inclut une r�f�rence � objet a la force modale de Illegal
No TPTP formula. May not be expressible in strict first order.	Sports.kif 541-551	coaches humain and humain Coach est un attribut de humain entit� processus entit� est une instance de jeu processus est une instance de processus educationnel processus est un agent de humain humain est un patient de processus processus inclut une r�f�rence � entit�
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 915-917	componentDataID position temporel, ComputerComponent, ComputerComponent, unit� de mesure and cha�ne sympbolique cha�ne sympbolique inclut une r�f�rence � ComputerComponent

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: