TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 11381-11383
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11378-11378	Le nombre 1 argument de objectTransferred est une instance de transf�re
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11379-11379	Le nombre 2 argument de objectTransferred est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11376-11376	objectTransferred est une instance de r�le d�pendant du cas
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11377-11377	objectTransferred est une sous-relation de patient

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 11380-11380
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30785-30785	passenger est une sous-relation de objectTransferred
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22912-22912	transported est une sous-relation de objectTransferred
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65889-65889

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18706-18722	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.	Medicine.kif 3179-3194	Transf�re est une instance de BreakthroughInfection objectTransferred transf�re and objet objet est une instance de objetC AutonomousAgent exp�rimente transf�re objetAX objetAX est une instance de Vaccination AutonomousAgent exp�rimente objetAX vaccine objetACCINECLASS and objetC objetACCINE est une instance de objetACCINECLASS objectTransferred objetAX and objetACCINE temps d'existence de objetAX arrive plus t�t que temps d'existence de transf�re
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1723-1739	Objet corpusculaire est une instance de Exhaust Fuel est fait de objet corpusculaire transf�re est une instance de transf�re objet corpusculaire NG est une instance de Engine transf�re a pour origine objet corpusculaire NG physique est une instance de CatalyticConverter transf�re aboutit � physique objectTransferred transf�re and objet corpusculaire physique a pour but entit� entit� est une instance de combustion physique est un instrument pour entit� objet corpusculaire est un patient de entit� eventLocated entit� and physique
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3878-3888	Objet est une instance de Electromagnet transf�re est une instance de transf�re objet est une instance de Electricity objectTransferred transf�re and objet objet est le chemin le long duquel transf�re se produit processus processus est une instance de Magnetism objet est un instrument pour processus
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3890-3906	Entit� est une instance de Electromagnet entit� entit� entit� est une instance de transf�re entit� est une instance de Electricity objectTransferred entit� and entit� entit� est le chemin le long duquel entit� se produit pendant entit�1 entit� entit� est une instance de Magnetism entit� est un instrument pour entit� pendant entit�1
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1563-1575	Transf�re est une instance de ing�rer AutonomousAgent exp�rimente transf�re objectTransferred transf�re and objet objet est une instance de objetC pathologicSideEffect objetC and objetIS l'argument entit� entit� est une instance de objetIS entit� exp�rimente AutonomousAgent a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1545-1554	Transf�re est une instance de ing�rer AutonomousAgent exp�rimente transf�re objectTransferred transf�re and objet objet est une instance de objetC sideEffect objetC and objetIS l'argument objetIS est un attribut de AutonomousAgent a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9801-9822	Transf�re est une instance de ing�rer AutonomousAgent exp�rimente transf�re objectTransferred transf�re and objet objet est une instance de MoodStabilizer processus est une instance de processusC involvedInEvent processus and AutonomousAgent processusS est un attribut de AutonomousAgent pendant temps d'existence de processus processusS est une instance de �tat �motionnel processus2 est une instance de processusC involvedInEvent processus2 and AutonomousAgent temps d'existence de processus2 arrive plus t�t que temps d'existence de transf�re l'argument processusS est un attribut de AutonomousAgent pendant processus2 a la force modale de Unlikely
No TPTP formula. May not be expressible in strict first order.	TransnationalIssues.kif 88-99	Transf�re est une instance de ing�rer objectTransferred transf�re and objet objet est une instance de Hallucinogen transf�re aboutit � entit� l'argument objetAL objetAL est une instance de Hallucination entit� exp�rimente objetAL a la force modale de Likely
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.	Medicine.kif 4135-4145	Transf�re est une instance de Intubation objet est une instance de Tube objectTransferred transf�re and objet AutonomousAgent exp�rimente transf�re objetH objetH est une instance de Trachea objetH est une partie de AutonomousAgent transf�re aboutit � objetH
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4123-4133	Transf�re est une instance de Intubation objet est une instance de Tube objectTransferred transf�re and objet AutonomousAgent exp�rimente transf�re transf�re a pour but entit� entit� est une instance de respirer objet est un instrument pour entit�
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6532-6543	Transf�re est une instance de MoveToEvac objectTransferred transf�re and objet transf�re a pour but entit� entit� est une instance de Evacuation objectTransferred entit� and objet temps d'existence de transf�re arrive plus t�t que temps d'existence de entit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11398-11403	Transf�re est une instance de transf�re objectTransferred transf�re and objet objet2 est Inside � objet objectTransferred transf�re and objet2
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11405-11410	Transf�re est une instance de transf�re objectTransferred transf�re and objet objet2 est On � objet objectTransferred transf�re and objet2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1979-1988	Transf�re est une instance de Vending objectTransferred transf�re and objet objet est une instance de Currency l'argument objet est une instance de FoodForFn humain objet est une instance de boisson a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 853-875	Objet est une instance de VentedChestSeal transf�re est une instance de attacher objectTransferred transf�re and objet transf�re aboutit � entit� objet a pour but transf�re entit�, entit� and entit� transf�re est une instance de Air entit� est une instance de Lung entit� est une instance de Chest entit� est une partie de entit� entit� est une partie de entit� transf�re est entre entit� et entit� pendant immediatement avant temps d'existence de transf�re objet a pour but transf�re est Outside � entit� pendant immediatement apr�s temps d'existence de transf�re
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1089-1103	vaccine Vaccine and virus transf�re est une instance de Vaccination AutonomousAgent exp�rimente transf�re VaccineI est une instance de Vaccine objectTransferred transf�re and VaccineI VaccineI a pour but entit� virusI entit� est une instance de Infecting AutonomousAgent exp�rimente entit� virusI est une instance de virus objectTransferred entit� and virusI
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11385-11396	objectTransferred transf�re and objet objet entit� transf�re a pour origine objet transf�re aboutit � entit� objet est situ� � objet pendant immediatement avant transf�re objet est situ� � entit� pendant immediatement apr�s transf�re

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2155-2168	AutonomousAgent est une instance de animal attribut est une instance de maladie ou syndrome attribut est un attribut de AutonomousAgent transf�re objet transf�re est une instance de processus biologique transf�re est une instance de supprimer transf�re a pour origine AutonomousAgent objet est une instance de Sewage transf�re est un agent de AutonomousAgent objectTransferred transf�re and objet
No TPTP formula. May not be expressible in strict first order.	Cars.kif 871-885	Objet en une partie est une instance de AutomobileShock processus est une instance de Compressing trou est une instance de trou Fluid est un attribut de objet objet en une partie est h�te du trou trou objet en une partie contient objet objet en une partie est un patient de processus transf�re transf�re est une instance de transf�re objectTransferred transf�re and objet trou est le chemin le long duquel transf�re se produit processus cause transf�re
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3179-3194	Transf�re est une instance de BreakthroughInfection objectTransferred transf�re and objet objet est une instance de objetC AutonomousAgent exp�rimente transf�re objetAX objetAX est une instance de Vaccination AutonomousAgent exp�rimente objetAX vaccine objetACCINECLASS and objetC objetACCINE est une instance de objetACCINECLASS objectTransferred objetAX and objetACCINE temps d'existence de objetAX arrive plus t�t que temps d'existence de transf�re
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6050-6069	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.	emotion.kif 1129-1139	Transf�re est une instance de Crying AutonomousAgent exp�rimente transf�re objet objet objet est une instance de TearSubstance transf�re a pour origine objet objectTransferred transf�re and objet objet est une instance de Eye objet est une partie de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6116-6134	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.	Weather.kif 1259-1280	Processus est une instance de DustStorm processus est une instance de Wind processus est un sous-processus de processus transf�re objet, objet, objet, objet and nombre r�el objet est une instance de zone de terre eventLocated processus and objet surfaceWindSpeed objet and nombre r�el KnotUnitOfSpeed(s) nombre r�el est plus grand que 30.0 transf�re est une instance de Translocation transf�re est un sous-processus de processus objectTransferred transf�re and objet objectTransferred transf�re and objet objet est une instance de ParticulateMatter objet est une instance de Sand objet est une instance de zone de terre transf�re aboutit � objet objet ne recouvre %n{pas} objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11395-11412	Physique est une instance de HeartAttack objet est une instance de Heart physique est situ� � objet objet objet est une instance de muscle objet est une partie de objet interval temporel objet interval temporel est une instance de LiquidMotion objectTransferred interval temporel and objet objet est une instance de sang interval temporel prend place pendant temps d'existence de physique interval temporel aboutit � objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11942-11959	Physique est une instance de Stroke objet est une instance de Brain physique est situ� � objet objet objet est une instance de NerveCell objet est une partie de objet interval temporel objet interval temporel est une instance de LiquidMotion objectTransferred interval temporel and objet objet est une instance de sang interval temporel prend place pendant temps d'existence de physique interval temporel aboutit � objet
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2165-2173	Objet est une instance de AirEngineCoolingSystem transf�re est une instance de refroidir objet est un instrument pour transf�re objet objet est une instance de Air objectTransferred transf�re and objet
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2149-2157	Objet est une instance de LiquidEngineCoolingSystem transf�re est une instance de refroidir objet est un instrument pour transf�re objet Liquid est un attribut de objet objectTransferred transf�re and objet
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6532-6543	Transf�re est une instance de MoveToEvac objectTransferred transf�re and objet transf�re a pour but entit� entit� est une instance de Evacuation objectTransferred entit� and objet temps d'existence de transf�re arrive plus t�t que temps d'existence de entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9305-9315	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.	Anatomy.kif 1664-1676	Processus est une instance de Speaking objet est une instance de Jaw processus est un agent de AutonomousAgent objet est une partie de AutonomousAgent l'argument entit� entit� est une instance de mouvement du corps objectTransferred entit� and objet temps d'existence de entit� prend place pendant temps d'existence de processus a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6589-6601	Transf�re est une instance de Swallowing transf�re est un agent de AutonomousAgent objet objet, transf�reT and objet objet est une instance de Mouth objet est une instance de Esophagus transf�reT est une instance de Stomach objectTransferred transf�re and objet transf�re a pour origine objet transf�re aboutit � transf�reT objet est le chemin le long duquel transf�re se produit
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6561-6571	Transf�re est une instance de Drooling AutonomousAgent exp�rimente transf�re objet objet objet est une instance de Mouth objectTransferred transf�re and objet objet est une instance de Saliva objet est une partie de AutonomousAgent transf�re a pour origine objet
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3826-3840	Transf�re est une instance de SoftwareUpgrading entit� est un patient de transf�re entit� est une instance de Computer objet objectTransferred transf�re and objet objet est une instance de programme d'ordinateur pendant le d�but de temps d'existence de transf�re pendant la fin de temps d'existence de transf�re
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 895-917	Transf�re est une instance de Thoracentesis objet est un patient de transf�re transf�re objet, transf�reN, objet, objet and objet transf�re est une instance de Inserting transf�re est un sous-processus de transf�re objectTransferred transf�re and objet transf�re a pour origine objet transf�re aboutit � transf�reN objet est une instance de Needle Fluid est un attribut de objet objectTransferred transf�re and objet objet aboutit � objet objet est une instance de Lung objet est une instance de Chest objet est une partie de objet objet est une partie de objet transf�re a pour origine transf�reN transf�re aboutit � objet transf�reN est entre objet et objet objet est Outside � objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11398-11403	Transf�re est une instance de transf�re objectTransferred transf�re and objet objet2 est Inside � objet objectTransferred transf�re and objet2
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11405-11410	Transf�re est une instance de transf�re objectTransferred transf�re and objet objet2 est On � objet objectTransferred transf�re and objet2
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3217-3229	Physique a un attribute Booting physique est une instance de Computer objet objet and transf�re objet est une instance de DigitalData objet est une instance de OperatingSystem transf�re est une instance de DataTransfer temps d'existence de transf�re prend place pendant temps d'existence de physique transf�re aboutit � physique objet est une partie de objet objectTransferred transf�re and objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30980-30995	shortage agent cognitif, objet, mesure de devise, interval temporel and quantit� quantit� est une instance de nombre entier agent cognitif desire entit� entit� entit� est une instance de acheter temps d'existence de entit� prend place pendant interval temporel objectTransferred entit� and entit� transactionAmount entit� and mesure de devise entit� est un agent de agent cognitif entit� est une instance de collection memberType entit� and objet memberCount entit� and quantit� agent cognitif poss�de entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30947-30962	shortage AutonomousAgent, objet, mesure de devise, interval temporel and nombre entier nombre entier est une instance de nombre entier transf�re collection transf�re est une instance de acheter temps d'existence de transf�re prend place pendant interval temporel objectTransferred transf�re and collection transactionAmount transf�re and mesure de devise transf�re est un agent de AutonomousAgent collection est une instance de collection memberType collection and objet memberCount collection and nombre entier AutonomousAgent poss�de collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30997-31011	shortage agent cognitif, objet, mesure de devise, interval temporel and quantit� quantit� est une instance de quantit� physique agent cognitif desire entit� entit� entit� est une instance de acheter temps d'existence de entit� prend place pendant interval temporel objectTransferred entit� and entit� transactionAmount entit� and mesure de devise entit� est un agent de agent cognitif entit� est une instance de objet la mesure de entit� est quantit� agent cognitif poss�de entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30964-30978	shortage AutonomousAgent, objet, mesure de devise, interval temporel and quantit� physique quantit� physique est une instance de quantit� physique transf�re objet transf�re est une instance de acheter temps d'existence de transf�re prend place pendant interval temporel objectTransferred transf�re and objet transactionAmount transf�re and mesure de devise transf�re est un agent de AutonomousAgent objet est une instance de objet la mesure de objet est quantit� physique AutonomousAgent poss�de objet

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

No TPTP formula. May not be expressible in strict first order.

ComputingBrands.kif 3309-3315

IBookstore a pour but ?D ?D est une instance de DownloadingOverNetwork IBookstore est un instrument pour ?D ?T est une instance de texte objectTransferred ?D and ?T

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

KB Term:			Term intersection

English Word: