TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3725-3726
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16640-16643
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16638-16638	Le nombre 1 argument de employs est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16639-16639	Le nombre 2 argument de employs est une instance de agent cognitif
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16637-16637	employs 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 547-547
No TPTP formula. May not be expressible in strict first order.	english_format.kif 552-552
No TPTP formula. May not be expressible in strict first order.	french_format.kif 321-321
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 91-91
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2089-2089
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 273-273
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 327-327
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 715-715
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 131-131
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 342-342
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 355-355
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 197-197
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22002-22002
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 548-548
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22001-22001
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22000-22000
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 198-198

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3260-3266	Agreement emploie Agreement agent cognitif agent cognitif a un attribute Employment partyToAgreement agent cognitif and Agreement partyToAgreement agent cognitif and Agreement
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17254-17262	Entit� est une instance de humain entit� entit� n' emploie %n{pas} entit� pendant position temporel Unemployed est un attribut de entit� pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Government.kif 2215-2219	SupremeCourtJudge est un attribut de agent cognitif AutonomousAgent emploie agent cognitif AutonomousAgent est une instance de SupremeCourt
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.	Hotel.kif 2392-2407	customer agent cognitif and AutonomousAgent AutonomousAgent emploie agent cognitif TravelerAccommodation est un attribut de AutonomousAgent Porter est un attribut de agent cognitif agent cognitif poss�de objet objet est une instance de TravelContainer objet processus objet est une instance de HotelUnit processus est une instance de Carrying processus est un agent de agent cognitif processus aboutit � objet processus a pour origine objet
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1522-1535	AutonomousAgent emploie agent cognitif TravelerAccommodation est un attribut de AutonomousAgent TennisProfessional est un attribut de agent cognitif guest agent cognitif and AutonomousAgent l'argument entit� entit� entit� est une instance de Tennis contestParticipant entit� and agent cognitif contestParticipant entit� and agent cognitif entit� est situ� � entit� AutonomousAgent est situ� � entit� a la force modale de Possibility
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.	FinancialOntology.kif 1180-1185	FinancialAccount est une instance de PensionPlan accountHolder FinancialAccount and agent cognitif FinancialCompany emploie agent cognitif financialAccount FinancialAccount and FinancialCompany
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1192-1207	FinancialAccount est une instance de ProfitSharingPlan accountHolder FinancialAccount and agent cognitif AutonomousAgent emploie agent cognitif profit financial transaction and nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfCurrency financial transaction est un agent de AutonomousAgent nombre r�el nombre r�elAY nombre r�elAY est une instance de financial transaction transactionAmount nombre r�elAY and nombre r�el unit� de mesure(s) nombre r�el est moins que nombre r�el nombre r�elAY aboutit � FinancialAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3590-3601	Processus est une instance de CommercialService processus est un agent de agent cognitif AutonomousAgent emploie agent cognitif processus aboutit � entit� processus a pour but entit� entit� est une instance de financial transaction entit� aboutit � AutonomousAgent entit� a pour origine entit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17282-17285	Organisation emploie humain position humain occupe la position de position organisation

consequent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3635-3642	customerRepresentative agent cognitif, agent cognitif and organisation processus processus est une instance de financial transaction organisation emploie agent cognitif processus est un agent de agent cognitif processus aboutit � agent cognitif
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.	Government.kif 4486-4490	diplomaticRepresentativeInRole secteur g�opolitique, humain, position and AutonomousAgent secteur g�opolitique est une instance de secteur g�opolitique le gouvernment de secteur g�opolitique emploie humain
No TPTP formula. May not be expressible in strict first order.	Government.kif 4492-4496	diplomaticRepresentativeInRole AutonomousAgent, humain, position and AutonomousAgent AutonomousAgent est une instance de organisation AutonomousAgent emploie humain
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 171-177	Certificat est une instance de PayCheck issuedBy certificat and agent cognitif processus est une instance de donner processus aboutit � AutonomousAgent AutonomousAgent emploie agent cognitif
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10740-10748	Processus est une instance de renvoyer AutonomousAgent est une instance de organisation processus est un agent de AutonomousAgent entit� est un patient de processus AutonomousAgent emploie entit� pendant le d�but de temps d'existence de processus AutonomousAgent n' emploie %n{pas} entit� pendant la fin de temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10724-10732	Processus est une instance de engager AutonomousAgent est une instance de organisation processus est un agent de AutonomousAgent entit� est un patient de processus AutonomousAgent n' emploie %n{pas} entit� pendant le d�but de temps d'existence de processus AutonomousAgent emploie entit� pendant la fin de temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10620-10629	Processus est une instance de engager AutonomousAgent est une instance de organisation processus est un agent de AutonomousAgent entit� est un patient de processus AutonomousAgent emploie entit� pendant immediatement apr�s temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16916-16923	Processus est une instance de LaborStriking processus est un agent de agent cognitif agent cognitif est une instance de humain AutonomousAgent est un patient de processus AutonomousAgent est une instance de organisation AutonomousAgent emploie agent cognitif
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1902-1914	Objet est une instance de Nursery objet est un appartenir � AutonomousAgent TravelerAccommodation est un attribut de AutonomousAgent agent cognitif entit� CommunalAttribute est un attribut de objet AutonomousAgent emploie agent cognitif agent cognitif a pour but entit� est une instance de ChildCareService serviceProvider entit� and agent cognitif
No TPTP formula. May not be expressible in strict first order.	Government.kif 4614-4619	representativeAgentToAgent secteur g�opolitique, agent cognitif and AutonomousAgent secteur g�opolitique est une instance de nation agent cognitif est une instance de agent cognitif le gouvernment de secteur g�opolitique emploie agent cognitif
No TPTP formula. May not be expressible in strict first order.	Government.kif 4607-4612	representativeAgentToAgent AutonomousAgent, agent cognitif and AutonomousAgent AutonomousAgent est une instance de organisation agent cognitif est une instance de agent cognitif AutonomousAgent emploie agent cognitif
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20998-21004	JudgeAtLaw est un attribut de agent cognitif AutonomousAgent AutonomousAgent est une instance de JudicialOrganization AutonomousAgent est une instance de GovernmentOrganization AutonomousAgent emploie agent cognitif
No TPTP formula. May not be expressible in strict first order.	naics.kif 11934-11946	BarberShops est un attribut de objet objet a pour but entit� entit�, entit� and entit� entit� est une instance de Hair entit� est une partie de entit� entit� est une instance de humain entit� est une instance de couper entit� est un patient de entit� eventLocated entit� and objet entit� est un agent de entit� objet emploie entit�
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1883-1888	AutonomousAgent est capable de faire ChildCareService dans le r�le agent agent cognitif AutonomousAgent emploie agent cognitif agent cognitif est capable de faire ChildCareService dans le r�le serviceProvider
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16838-16844	colleague humain, humain and organisation position temporel organisation emploie humain organisation emploie humain pendant position temporel
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3357-3364	employeeContribution humain, mesure de devise and interval temporel AutonomousAgent processus processus est une instance de PensionPlan AutonomousAgent emploie humain processus est un agent de AutonomousAgent processus aboutit � humain
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22414-22419	GovernmentPerson est un attribut de entit� pendant position temporel entit� entit� est une instance de gouvernement entit� emploie entit� pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22965-22974	coworker entit� and entit� pendant position temporel entit� entit� est une instance de organisation entit� emploie entit� entit� emploie entit� pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3122-3129	Entit� est une instance de DrugStore l'argument entit� Pharmacist est un attribut de entit� entit� emploie entit� a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3084-3092	Physique est une instance de GeniusBar physique a pour but entit� entit� entit� emploie AppleComputerCorporation entit� est une instance de CustomerSupport entit� est un agent de entit� entit� est situ� � physique
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2281-2292	ServiceProcess est une instance de MedicalService AutonomousAgent agent cognitif and processus ServiceProcess est un agent de AutonomousAgent AutonomousAgent emploie agent cognitif MedicalDoctor est un attribut de agent cognitif serviceProvider ServiceProcess and agent cognitif processus est une instance de processus therapeutique processus est une instance de processus de diagnostique processus est un sous-processus de ServiceProcess
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8544-8557	Collection est une instance de UnionOrganization AutonomousAgent agent cognitif agent cognitif est un membre de collection AutonomousAgent est une instance de corporation AutonomousAgent emploie agent cognitif AutonomousAgent AutonomousAgent est une instance de Industry AutonomousAgent est un membre de AutonomousAgent AutonomousAgent emploie agent cognitif
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22560-22574	Physique est une instance de RestaurantBuilding physique a pour but entit� entit�, entit�, entit� and entit�AY entit� emploie entit� entit� poss�de physique entit� est une instance de humain entit�AY est une instance de financial transaction entit�AY est un agent de entit� entit� est un patient de entit�AY entit� autorise entit� � ex�cut� des t�ches du type entit� entit� est une instance de manger entit� est un agent de entit� eventLocated entit� and physique
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2300-2307	ServiceProcess est une instance de SecretarialService agent cognitif agent cognitif and agent cognitif serviceProvider ServiceProcess and agent cognitif serviceRecipient ServiceProcess and agent cognitif agent cognitif emploie agent cognitif ClericalSecretary est un attribut de agent cognitif

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.

Medicine.kif 4590-4593

Agent cognitif NewReporter est un attribut de agent cognitif ProPublica emploie agent cognitif

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

KB Term:			Term intersection

English Word: