TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2893-2894
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3755-3757
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1640-1642
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3752-3752	Le nombre 1 argument de subProcess est une instance de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3753-3753	Le nombre 2 argument de subProcess est une instance de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3750-3750	subProcess est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3751-3751	subProcess est une instance de relation partiellement dirig�e

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 573-573
No TPTP formula. May not be expressible in strict first order.	english_format.kif 578-578
No TPTP formula. May not be expressible in strict first order.	french_format.kif 340-340
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 277-277
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2096-2096
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 292-292
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 348-348
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 752-752
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 314-314
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 362-362
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 377-377
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 469-469
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 574-574
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55775-55775
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55774-55774

antecedent

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.	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.	Mid-level-ontology.kif 501-514	Processus est une instance de Ambulating processus est un sous-processus de processus processus est une instance de Stepping processus est un sous-processus de processus processus est une instance de Stepping processusSTART est d�but de temps d'existence de processus processusSTART est d�but de temps d'existence de processus processusSTART se produit avant processusSTART processusSTART se produit avant processusSTART processus est 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.	Mid-level-ontology.kif 516-522	Processus est une instance de Ambulating processus est une instance de Stepping processus est un sous-processus de processus processus est un agent de AutonomousAgent processus est un agent de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 524-530	Processus est une instance de Ambulating processus est une instance de Stepping processus est un sous-processus de processus processus est un agent de AutonomousAgent processus est un agent de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21775-21794	Processus est une instance de Blockade affrontement est une instance de affrontement processus est un sous-processus de affrontement contestParticipant affrontement and AutonomousAgent processus est un agent de AutonomousAgent affrontement1 agent cognitif affrontement1 previent l'occurrence de Translocation processus est une instance de affrontement1 contestParticipant affrontement and agent cognitif AutonomousAgent est agent cognitif agent cognitif desire entit� entit� est une instance de affrontement1 entit� est un agent de AutonomousAgent entit� est un sous-processus de affrontement
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 620-630	Processus est une instance de CPR d�palcement est une instance de Compressing objet est le chemin le long duquel d�palcement se produit d�palcement est un sous-processus de processus le longueur de objet est nombre r�el Centimeter(s) nombre r�el est plus grand que 5.0 nombre r�el est moins que 6.0
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23574-23580	Processus est une instance de conduire transporter est un sous-processus de processus transporter est une instance de transporter processus est un agent de AutonomousAgent transported transporter and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23582-23588	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.	Mid-level-ontology.kif 23590-23597	Processus est une instance de conduire transporter est un sous-processus de processus transporter est une instance de transporter v�hicule de transport est une instance de Vehicle v�hicule de transport est un patient de processus conveyance transporter and v�hicule de transport
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1271-1292	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.	Food.kif 1207-1216	Processus est une instance de FoamingMilk physique est un patient de processus physique est une instance de ProcessedMilk processus est une instance de r�chauffer processus est un sous-processus de processus la mesure de physique est nombre r�el CelsiusDegree(s) approximateValue nombre r�el and 70.0
No TPTP formula. May not be expressible in strict first order.	Sports.kif 662-670	Processus est une instance de Baseball processus est une instance de Pitching processus est un sous-processus de processus objet objet est une instance de PitchersMound processus a pour origine objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17050-17062	Objet est une instance de GameGoal objet est un instrument pour processus processus est une instance de jeu processus est un sous-processus de processus processus est une instance de Score entit� position temporel entit� est une instance de GamePiece entit� est un patient de processus position temporel est une partie de temps d'existence de processus entit� est situ� � objet pendant position temporel
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 85-91	Processus est une instance de GuidingMotion entit� est un patient de processus processus est un sous-processus de processus processus est une instance de d�palcement entit� est un patient de processus
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 93-99	Processus est une instance de GuidingMotion processus est un sous-processus de processus processus est une instance de d�palcement entit� est un patient de processus entit� est un patient de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13464-13471	Processus est une instance de manoeuvre processus est une instance de affrontement violent processus est un sous-processus de processus processus est une instance de Attack processus est une instance de DefensiveManeuver
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1794-1800	Entit� est une instance de OPLAN entit� d�finie processus processus est une instance de MilitaryOperation processusSUB est un sous-processus de processus entit� d�finie processusSUB
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15956-15960	Processus est une instance de DramaticPerformance processus est un sous-processus de processus processus est une instance de DramaticActing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15932-15936	Processus est une instance de MusicalPerformance processus est un sous-processus de processus processus est une instance de MakingMusic
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23505-23510	Processus est une instance de processus eventLocated processus and objet processus est un sous-processus de processus eventLocated processus and objet
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1940-1953	Processus est une instance de TransactionCollection processus est une instance de acheter processus est une instance de acheter processus est un sous-processus de processus processus est un sous-processus de processus processus est un agent de AutonomousAgent objet est un instrument pour processus processus est un agent de AutonomousAgent processus est un agent de AutonomousAgent objet est un instrument pour processus objet est un instrument pour processus
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1929-1938	Processus est une instance de TransactionCollection processus est une instance de acheter processus est une instance de acheter processus est un sous-processus de processus processus est un sous-processus de processus temps d'existence de processus est temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8242-8256	Processus est une instance de r�cr�ation ou exercice processusM est un instrument pour processus processusM est une instance de RowingMachine AutonomousAgent exp�rimente processus processusOW est une instance de Rowing processusMOT est un sous-processus de processus classe est une sous-classe de mouvement du corps processusMOT est une instance de classe processusOWMOT processusOWMOT est une instance de classe processusOWMOT est un sous-processus de processus processusOWMOT est un agent de AutonomousAgent

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 751-762	PolyphonicMusic est un attribut de objet processus processus objet est une instance de MakingMusic processus est une instance de MakingMusic processus est une instance de MakingMusic processus est un sous-processus de objet processus est un sous-processus de objet processus est processus processus se produit en m�me temps que objet processus se produit en m�me temps que objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30284-30298	Processus est ex�cut� de la fa�on Harmless processus est une instance de endommager processus2 processus2 est une instance de endommager processus2 est un sous-processus de processus processus2 processus2 est une instance de endommager processus cause processus2
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.	Hotel.kif 522-538	customer agent cognitif and AutonomousAgent propertyAmenity AutonomousAgent and physique physique est une sous-classe de processus l'argument entit� entit� and entit� entit� est un appartenir � AutonomousAgent entit� est un agent de AutonomousAgent agent cognitif est un patient de entit� entit� est une instance de physique entit� est une instance de physique entit� est un sous-processus de entit� entit� est situ� � entit� a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Music.kif 867-876	Song est SongFn MusicalComposition and LyricalContent Song exprime le contenu de processus processus processus MusicalComposition est un patient de processus LyricalContent est un patient de processus processus est un sous-processus de processus processus est un sous-processus de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12281-12290	Processus est une instance de chirurgie entit� est un patient de processus processus processus est une instance de couper entit� est une instance de animal entit� est un patient de processus processus est un sous-processus de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 487-499	Processus est une instance de Ambulating interval temporel est temps d'existence de processus processus processus processus est une instance de Stepping processus est une instance de Stepping processus est un sous-processus de processus processus est un sous-processus de processus temps d'existence de processus commence interval temporel temps d'existence de processus finit interval temporel processus est processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21756-21768	Processus est une instance de Ambush processus est un agent de AutonomousAgent processus processus est une instance de Concealing processus est un sous-processus de processus processus a pour but entit� entit� est une instance de Attack entit� est un agent de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 753-763	Processus est une instance de AirPhotographicReconnaissance processus est un agent de AutonomousAgent entit� est un patient de processus processus processus est une instance de Photographing processus est un sous-processus de processus processus est un agent de AutonomousAgent entit� est un patient de processus
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 782-790	Processus est une instance de AmphibiousReconnaissance processus est un agent de AutonomousAgent processus processus est un sous-processus de processus processus est une instance de LandingWaterLand processus est un agent de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23493-23503	PlacingUnderArrest est une instance de PlacingUnderArrest arrested PlacingUnderArrest and AutonomousAgent AutonomousAgent est une instance de GroupOfPeople AutonomousAgent est un membre de AutonomousAgent PlacingUnderArrest1 PlacingUnderArrest1 est une instance de PlacingUnderArrest arrested PlacingUnderArrest1 and AutonomousAgent PlacingUnderArrest1 est un sous-processus de PlacingUnderArrest
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1033-1041	FinancialAccount est une instance de SavingsAccount processus est une instance de financial transaction processus a pour origine CurrencyFn FinancialAccount processus processus est une instance de AuthorizationOfTransaction processus est un sous-processus de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21775-21794	Processus est une instance de Blockade affrontement est une instance de affrontement processus est un sous-processus de affrontement contestParticipant affrontement and AutonomousAgent processus est un agent de AutonomousAgent affrontement1 agent cognitif affrontement1 previent l'occurrence de Translocation processus est une instance de affrontement1 contestParticipant affrontement and agent cognitif AutonomousAgent est agent cognitif agent cognitif desire entit� entit� est une instance de affrontement1 entit� est un agent de AutonomousAgent entit� est un sous-processus de affrontement
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 337-352	Processus est une instance de acheter entit� est un patient de processus processus a pour origine agent cognitif publishedPrice entit�, mesure de devise, agent cognitif and PricingScheme unitPrice entit�, function de quantit�, agent cognitif and PricingScheme entit� est une sous-classe de physique entit� est une instance imm�diate de entit� validPaymentType PricingScheme and Payment l'argument PaymentMENT PaymentMENT est une instance de Payment PaymentMENT est un sous-processus de processus a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11770-11778	Processus est une instance de Choking AutonomousAgent exp�rimente processus processusO processusO est une instance de Coughing processusO est un sous-processus de processus AutonomousAgent exp�rimente processusO
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6042-6053	Processus est une instance de Coughing AutonomousAgent exp�rimente processus processus processus processus est une instance de Inhaling processus est une instance de Exhaling processus est un sous-processus de processus processus est un sous-processus de processus AutonomousAgent exp�rimente processus AutonomousAgent exp�rimente processus
No TPTP formula. May not be expressible in strict first order.	Food.kif 980-992	Processus est une instance de Crushing entit� est un patient de processus entit� est une instance de objet processus processus processus est une instance de Breaking processus cause processus processus est un sous-processus de processus processus est une instance de changement de forme entit� est un patient de processus entit� est un patient de processus
No TPTP formula. May not be expressible in strict first order.	Food.kif 3199-3211	Processus est une instance de Curdling substance est un patient de processus substance est une instance de Colloid processus substance processus est une instance de separer processus est un sous-processus de processus substance est un patient de processus substance est le resultat de processus substance est une pi�ce de substance substance est une instance de substance
No TPTP formula. May not be expressible in strict first order.	Food.kif 3226-3247	Processus est une instance de CurdlingMilk physique est une instance de Milk physique est un patient de processus nombre r�el processus, entit� and entit� la mesure de physique est nombre r�el PHValue(s) processus est une instance de diminuer processus est un sous-processus de processus nombre r�el est un patient de processus nombre r�el est entit� pendant le d�but de temps d'existence de processus nombre r�el est entit� pendant la fin de temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Food.kif 96-105	Processus est une instance de CuringFood entit� est une instance de nourriture entit� est un patient de processus processus processus est une instance de s�cher processus est un sous-processus de processus entit� est un patient de processus
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3572-3581	Processus est une instance de VerifyingCardCode objet exprimant un sens est un patient de processus cardCode objet exprimant un sens and BankCard processus processus est une instance de decoder processus est un sous-processus de processus objet exprimant un sens est un patient de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21532-21539	Proposition est une instance de Diet processus exprime le contenu de proposition processus processus est un sous-processus de processus processus est une instance de manger
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 618-630	Processus est une instance de PreciseDestruction entit� est un patient de processus processus a pour but entit� entit� entit� est une instance de endommager entit� est un sous-processus de processus entit� est un patient de entit� entit� est entit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11995-12004	Processus est une instance de Discovering entit� est un patient de processus entit� est situ� � entit� pendant temps d'existence de processus processus processus est une instance de apprendre processus est un sous-processus de processus entit� est situ� � entit� est un patient de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23564-23572	Processus est une instance de conduire entit� est un patient de processus entit� est une instance de RoadVehicle processus processus est une instance de TransportViaRoadVehicle processus est un sous-processus de processus

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0

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

MilitaryProcesses.kif 2373-2373

CivilAffairsActivity est un sous-processus de CivilAffairsOperation

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

KB Term:			Term intersection

English Word: