TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1882-1886
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2499-2506
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 507-511
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2495-2495	Le nombre 1 argument de patient est une instance de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2496-2496	Le nombre 2 argument de patient est une instance de entit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2493-2493	patient est une instance de r�le d�pendant du cas
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2494-2494	patient est une instance de relation partielle
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2497-2497	patient 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 167-167
No TPTP formula. May not be expressible in strict first order.	english_format.kif 168-168
No TPTP formula. May not be expressible in strict first order.	french_format.kif 103-103
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 219-219
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1932-1932
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 55-55
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 85-85
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 206-206
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 257-257
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 122-122
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 104-104
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 411-411
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4163-4163	accountUsed est une sous-relation de patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23427-23427	controlled est une sous-relation de patient
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1874-1874	dataProcessed est une sous-relation de patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16265-16265	defendant est une sous-relation de patient
No TPTP formula. May not be expressible in strict first order.	Law.kif 281-281	defenseLawyer est une sous-relation de patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6786-6786	detainee est une sous-relation de patient
No TPTP formula. May not be expressible in strict first order.	Law.kif 168-168	evidence est une sous-relation de patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15724-15724	experimentalControl est une sous-relation de patient
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2468-2468	instrument est une sous-relation de patient
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12377-12377	objectAttached est une sous-relation de patient
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12425-12425	objectDetached est une sous-relation de patient
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11331-11331	objectTransferred est une sous-relation de patient

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 26329-26340	Processus est une instance de Photocopying ContentBearingPhysical est un patient de processus ContentBearingPhysical est une instance de VisualContentBearingObject ContentBearingPhysical contient information proposition ContentBearingPhysical proposition ContentBearingPhysical est le resultat de processus ContentBearingPhysical est une instance de VisualContentBearingObject ContentBearingPhysical contient information proposition proposition est proposition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20760-20767	actedIn humain and ContentBearingPhysical processus est une instance de DramaticActing humain est un patient de processus ContentBearingPhysical est le resultat de processus Actor 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.	Medicine.kif 5824-5834	Maladie ou syndrome est un attribut de objet diseaseTreatment maladie ou syndrome and processus therapeutique processus est une instance de TherpeuticProcess processus est un agent de maladie ou syndromeOC objet est un patient de processus MedicalDoctor est un attribut de maladie ou syndromeOC l'argument processus est une instance de processus therapeutique a la force modale de Possibility
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.	UXExperimentalTerms.kif 549-556	confidenceInterval Experimenting and nombre r�el Experimenting est une instance de Experimenting phrase est une instance de formule phrase est un patient de Experimenting nombre r�el est truth phrase and False
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 540-547	confidenceInterval Experimenting and nombre r�el Experimenting est une instance de Experimenting phrase est une instance de formule phrase est un patient de Experimenting nombre r�el est truth phrase and True
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 531-537	confidenceInterval Experimenting and nombre r�el Experimenting est une instance de Experimenting formule est une instance de formule formule est un patient de Experimenting nombre r�el d�finie le probabilit� de formule
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.	Cars.kif 809-825	dampingRatio PhysicalSystem and nombre r�el nombre r�el est plus grand que 0 interval temporel est une instance de Tremor PhysicalSystem est un patient de interval temporel entit� est une instance de UnitOfLength physicalAmplitude interval temporel and nombre r�el entit�(s) pendant interval temporel1 physicalAmplitude interval temporel and nombre r�el entit�(s) pendant interval temporel2 interval temporel1 prend place pendant interval temporel interval temporel2 prend place pendant interval temporel interval temporel1 arrive plus t�t que interval temporel2 nombre r�el est plus grand que nombre r�el
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.	Medicine.kif 3040-3054	AutonomousAgent emploie agent cognitif processus est une instance de DoNetworkMessaging objet est le resultat de processus NSFW est un attribut de objet processus est une instance de voir objet est un patient de processus processus est un agent de agent cognitif l'argument entit� processus cause entit� suffers entit� and agent cognitif a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3022-3038	AutonomousAgent emploie agent cognitif AutonomousAgent emploie agent cognitif processus est une instance de DoNetworkMessaging objet est le resultat de processus NSFW est un attribut de objet processus est un agent de agent cognitif processus est une instance de voir objet est un patient de processus processus est un agent de agent cognitif l'argument agent cognitifROC processus cause agent cognitifROC suffers agent cognitifROC and agent cognitif a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15515-15532	nombre entier positif de objet exprimant un sens est objet exprimant un sens nombre entier positif de objet exprimant un sens est objet exprimant un sens nombre entier positif est plus grand que nombre entier positif processus est une instance de publier processus est une instance de publier entit� est une instance de objet exprimant un sens entit� est une instance de objet exprimant un sens entit� est un patient de processus entit� est un patient de processus la date de processus est jour la date de processus est jour la fin de jour se produit avant la fin de jour
No TPTP formula. May not be expressible in strict first order.	Dining.kif 336-350	facility AutonomousAgent and objet customer agent cognitif and AutonomousAgent entit� est une instance de objet agent cognitif desire entit� entit� est une instance de processus intentionnel entit� est un patient de entit� entit� est un agent de agent cognitif l'argument AutonomousAgent autorise agent cognitif � ex�cut� des t�ches du type agent cognitif utilise entit� a la force modale de Possibility
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 346-361	freeRoomAmenity HotelUnit and physique physique est une sous-classe de objet TemporaryResidence est une instance de HotelUnit stays humain and TemporaryResidence TemporaryResidence est un appartenir � AutonomousAgent objet est une instance de physique objet est situ� � TemporaryResidence processus est une instance de processus processus est un agent de humain objet est un patient de processus objet est un instrument pour processus objet est une resource pour processus price objet, 0 UnitedStatesDollar(s) and humain
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 364-378	freeRoomAmenity HotelUnit and physique physique est une sous-classe de processus TemporaryResidence est une instance de HotelUnit stays humain and TemporaryResidence TemporaryResidence est un appartenir � AutonomousAgent humain est un patient de processus processus est une instance de physique processus est une instance de physique processus est un sous-processus de processus processus est situ� � TemporaryResidence price processus, 0.0 UnitedStatesDollar(s) and humain
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.	Law.kif 480-489	AutonomousAgent desire Dead est un attribut de entit� pendant interval temporel AutonomousAgentURDER est une instance de Murder AutonomousAgentURDER est un agent de AutonomousAgent entit� est un patient de AutonomousAgentURDER interval temporel arrive plus t�t que temps d'existence de AutonomousAgentURDER Premeditated est un attribut de AutonomousAgentURDER
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21495-21506	Processus est une instance de Aborting entit� est un patient de processus entit� est une instance de Woman Pregnant est un attribut de entit� pendant le d�but de temps d'existence de processus Pregnant est un attribut 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 1010-1014	Processus est une instance de Accrediting entit� est un patient de processus entit� est une instance de �cole
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6257-6275	Processus est une instance de Amputating entit� est un patient de processus objet est une instance de Limb objet objet objet est une partie de objet objet est une partie de objet objet est une instance de os objet est une partie de entit� pendant immediatement avant temps d'existence de processus objet est une partie de entit� pendant immediatement avant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4242-4248	Objet est une instance de Anchor objetTTACH est une instance de attacher objet est un instrument pour objetTTACH entit� est un patient de objetTTACH entit� est une instance de WaterVehicle
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 966-975	Processus est une instance de Anesthetizing entit� est un patient de processus inconscient est un attribut de entit� Pain est un attribut de entit� pendant temps d'existence de processus

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.	Merge.kif 1601-1607	LegalAgent est un attribut de entit� pendant position temporel entit� est capable de faire action l�gale dans le r�le agent entit� est capable de faire action l�gale dans le r�le patient pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20752-20758	actedIn humain and ContentBearingPhysical processus processus est une instance de DramaticActing humain est un patient de processus ContentBearingPhysical est le resultat de processus
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 193-199	advertisedOn objet and WebSite WebListing WebListing est une instance de promouvoir hostedOn WebListing and WebSite objet est un patient de WebListing
No TPTP formula. May not be expressible in strict first order.	Government.kif 706-713	agreementAdoptionDate proposition and position temporel processus position temporel processus est une instance de investir position temporel est une instance de position temporel proposition est un patient de processus processus existe pendant position temporel
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.	Biography.kif 757-776	VoiceActor est un attribut de AutonomousAgent processus est une instance de DramaticActing processus est un agent de AutonomousAgent processus est une instance de LinguisticCommunication processus est un agent de AutonomousAgent processus est un sous-processus de processus processus AutonomousAgent processus est une instance de voir AutonomousAgent est un patient de processus processus est un agent de AutonomousAgent processus AutonomousAgent processus est une instance de entendre AutonomousAgent est un patient de processus processus est un agent de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 204-223	Muslim est un attribut de AutonomousAgent valeur de ce que poss�de AutonomousAgent est mesure de devise l'argument entit� entit�, entit�, entit� and entit� entit� est une instance de Zakat entit� est une instance de ann�e entit� prend place pendant temps d'existence de AutonomousAgent FullyFormed est un attribut de AutonomousAgent pendant entit� entit� est un agent de AutonomousAgent entit� est un patient de entit� valeur de entit� est entit� entit�(s) entit� est une instance de UnitOfCurrency entit� est plus grand que mesure de devise + 0.025 a la force modale de Obligation
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 12537-12547	Attribut est un attribut de objet attribut est une instance de Fingerprint objet est une instance de Finger attributR objet objet est un instrument pour attributR objet est une instance de Finger attribut est un attribut de objet objet est un patient de attributR
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17332-17345	Attribut est un attribut de objet attribut est une instance de attribut subjectif position temporel processus and AutonomousAgent processus est une instance de Judging processus est un agent de AutonomousAgent objet est un patient de processus attribut est un attribut de objet est le resultat de processus AutonomousAgent croit objet a un attribute attribut pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Military.kif 286-297	Attribut est un attribut de AutonomousAgent attribut est une instance de CommissionedOfficerRank processus objet processus est une instance de diriger processus est un agent de AutonomousAgent objet est un patient de processus objet est une instance de MilitaryOrganization Soldier est un attribut de objet
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2881-2897	FOKOrder est un attribut de Agreement agreementPeriod Agreement and interval temporel processus interval temporel processus est une instance de FillingAnOrder Agreement est un patient de processus temps d'existence de processus est interval temporel interval temporel commence interval temporel processus interval temporel processus est une instance de CancellingAnOrder Agreement est un patient de processus temps d'existence de processus est interval temporel interval temporel commence interval temporel
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2917-2933	GTCOrder est un attribut de Agreement agreementPeriod Agreement and interval temporel processus interval temporel processus est une instance de FillingAnOrder Agreement est un patient de processus temps d'existence de processus est interval temporel interval temporel recouvre interval temporel processus interval temporel processus est une instance de CancellingAnOrder Agreement est un patient de processus temps d'existence de processus est interval temporel interval temporel finit interval temporel
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2854-2870	IOCOrder est un attribut de Agreement agreementPeriod Agreement and interval temporel processus interval temporel processus est une instance de FillingAnOrder Agreement est un patient de processus temps d'existence de processus est interval temporel interval temporel commence interval temporel processus interval temporel processus est une instance de CancellingAnOrder Agreement est un patient de processus temps d'existence de processus est interval temporel interval temporel commence interval temporel
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2008-2029	LimitOrder est un attribut de financial transaction partyToAgreement financial transaction and Agreement Broker est un attribut de Agreement orderFor financial transaction, acheter and Security la mesure de Security est quantit� physique limitPrice financial transaction and nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfCurrency askPrice Security, nombre r�el unit� de mesure(s) and AutonomousAgent nombre r�el est plus petit ou �gal � nombre r�el Agreement 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.	FinancialOntology.kif 2031-2052	LimitOrder est un attribut de financial transaction partyToAgreement financial transaction and Agreement Broker est un attribut de Agreement orderFor financial transaction, vendre and Security la mesure de Security est quantit� physique limitPrice financial transaction and nombre r�el unit� de mesure(s) bidPrice Security, nombre r�el unit� de mesure(s) and AutonomousAgent unit� de mesure est une instance de UnitOfCurrency nombre r�el est plus grand ou �gal � nombre r�el Agreement 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.	FinancialOntology.kif 1981-1990	MarketOrder est un attribut de financial transaction Broker est un attribut de Agreement partyToAgreement financial transaction and Agreement orderFor financial transaction, financial transaction and Security Agreement 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.	Hotel.kif 1466-1474	DutyFree est un attribut de objet objet est une instance de produit processus processus est une instance de DutyTax objet est un patient de processus
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1478-1491	DutyFree est un attribut de objet objet est une instance de Store secteur g�opolitique entit�, objet and processus secteur g�opolitique est une instance de secteur g�opolitique objet est situ� � secteur g�opolitique objet est une sous-classe de objet importCommodityType secteur g�opolitique and objet entit� est une instance de objet processus est une instance de vendre entit� est un patient de processus processus est situ� � objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25748-25761	Multilingual est un attribut de AutonomousAgent processus est une instance de Speaking processus est un agent de AutonomousAgent l'argument entit� entit� entit� est une instance de SpokenHumanLanguage entit� est une instance de SpokenHumanLanguage entit� est entit� entit� est un patient de processus entit� est un patient de processus a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1935-1946	TravelerAccommodation est un attribut de AutonomousAgent AutonomousAgent est capable de faire RoomCleaningService dans le r�le agent agent cognitif objet AutonomousAgent emploie agent cognitif Maid est un attribut de agent cognitif objet est une instance de HotelUnit objet est une partie de appartenir � AutonomousAgent objet est capable de faire RoomCleaningService dans le r�le patient agent cognitif est capable de faire RoomCleaningService dans le r�le serviceProvider
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.	Merge.kif 13841-13854	boilingPoint substance pure and nombre r�el unit� de mesure(s) entit� est une instance de substance pure la mesure de entit� est nombre r�el unit� de mesure(s) pendant interval temporel unit� de mesure est une instance de UnitOfTemperature nombre r�el est plus grand ou �gal � nombre r�el Gas est un attribut de entit� pendant interval temporel processus interval temporel recouvre temps d'existence de processus processus est une instance de �vaporer entit� est un patient de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29963-29972	buys agent cognitif, AutonomousAgent and entit� entit� est une instance de physique processus processus est une instance de acheter entit� est un patient de processus processus est un agent de agent cognitif processus a pour origine AutonomousAgent

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.	WMD.kif 921-929	biochemicalAgentSyndrome ?AGENT and ?SYMPTOM biochemicalAgentAntidote ?AGENT, ?SUBSTANCE and ?PROCESS ?SAMPLE est une instance de ?SUBSTANCE ?THERAPY est une instance de ?PROCESS ?ORGANISM exp�rimente ?THERAPY ?SAMPLE est un patient de ?THERAPY diminue la probabilit� de ?SYMPTOM est un attribut de ?ORGANISM
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18202-18219	?X ?CUT, ?PAPER, ?CBO and ?INFO ?X est une instance de PaperShredder ?CUT est une instance de couper ?X est un instrument pour ?CUT ?PAPER est une instance de Paper ?PAPER est un patient de ?CUT ?CBO est situ� � ?PAPER ?CBO est une instance de VisualContentBearingObject ?CBO contient information ?INFO diminue la probabilit� de ?READ ?READ est une instance de Interpreting ?INFO est un patient de ?READ temps d'existence de ?CUT arrive plus t�t que temps d'existence de ?READ
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4559-4564	Processus entit� processus est une instance de disseminer processus est un agent de Netflix entit� est un patient de processus entit� est une instance de motion picture

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

KB Term:			Term intersection

English Word: