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 16662-16665
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16660-16660	O argumento numero 1 de employs e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16661-16661	O argumento numero 2 de employs e' uma instancia de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16659-16659	employs e' uma instancia de Predicado Binario

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 emprega Agreement Agente Cognitivo Agente Cognitivo tem um atributo de Employment partyToAgreement Agente Cognitivo and Agreement partyToAgreement Agente Cognitivo and Agreement
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17276-17284	Entidade e' uma instancia de Humano Entidade Entidade nao emprega %n Entidade vale durante Posicao Temporal Unemployed e' um atributo de Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Government.kif 2215-2219	SupremeCourtJudge e' um atributo de Agente Cognitivo AutonomousAgent emprega Agente Cognitivo AutonomousAgent e' uma instancia de SupremeCourt
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20600-20622	Waiter e' um atributo de Agente Cognitivo Agente Cognitivo e' uma instancia de Humano AutonomousAgent emprega Agente Cognitivo AutonomousAgent e' uma instancia de Restaurant customer Agente Cognitivo and AutonomousAgent Agente Cognitivo e' situado em Objeto Objeto e' uma instancia de Table Objeto Entidade, Entidade and Objeto AutonomousAgent possui Objeto Objeto e' uma instancia de KitchenArea Objeto e' uma instancia de DiningArea Objeto e' situado em Objeto Agente Cognitivo tem por fim Entidade e' uma instancia de Carrying Entidade e' um agente de Agente Cognitivo Entidade tem como origem Objeto Entidade termina em Objeto Entidade e' um patient de Entidade Entidade e' uma instancia de FoodForFn Humano
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2392-2407	customer Agente Cognitivo and AutonomousAgent AutonomousAgent emprega Agente Cognitivo TravelerAccommodation e' um atributo de AutonomousAgent Porter e' um atributo de Agente Cognitivo Agente Cognitivo possui Objeto Objeto e' uma instancia de TravelContainer Objeto Processo Objeto e' uma instancia de HotelUnit Processo e' uma instancia de Carrying Processo e' um agente de Agente Cognitivo Processo termina em Objeto Processo tem como origem Objeto
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1522-1535	AutonomousAgent emprega Agente Cognitivo TravelerAccommodation e' um atributo de AutonomousAgent TennisProfessional e' um atributo de Agente Cognitivo guest Agente Cognitivo and AutonomousAgent o argumento Entidade Entidade Entidade e' uma instancia de Tennis contestParticipant Entidade and Agente Cognitivo contestParticipant Entidade and Agente Cognitivo Entidade e' situado em Entidade AutonomousAgent e' situado em Entidade tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3040-3054	AutonomousAgent emprega Agente Cognitivo Processo e' uma instancia de DoNetworkMessaging Objeto e' o resultado de Processo NSFW e' um atributo de Objeto Processo e' uma instancia de Visao Objeto e' um patient de Processo Processo e' um agente de Agente Cognitivo o argumento Entidade Processo causa Entidade suffers Entidade and Agente Cognitivo tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3022-3038	AutonomousAgent emprega Agente Cognitivo AutonomousAgent emprega Agente Cognitivo Processo e' uma instancia de DoNetworkMessaging Objeto e' o resultado de Processo NSFW e' um atributo de Objeto Processo e' um agente de Agente Cognitivo Processo e' uma instancia de Visao Objeto e' um patient de Processo Processo e' um agente de Agente Cognitivo o argumento Agente CognitivoROC Processo causa Agente CognitivoROC suffers Agente CognitivoROC and Agente Cognitivo tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1180-1185	FinancialAccount e' uma instancia de PensionPlan accountHolder FinancialAccount and Agente Cognitivo FinancialCompany emprega Agente Cognitivo financialAccount FinancialAccount and FinancialCompany
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1192-1207	FinancialAccount e' uma instancia de ProfitSharingPlan accountHolder FinancialAccount and Agente Cognitivo AutonomousAgent emprega Agente Cognitivo profit Transacao Financeira and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfCurrency Transacao Financeira e' um agente de AutonomousAgent Numero Real Numero RealAY Numero RealAY e' uma instancia de Transacao Financeira transactionAmount Numero RealAY and Numero Real Unidade de Medida(s) Numero Real e' menos que Numero Real Numero RealAY termina em FinancialAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3590-3601	Processo e' uma instancia de CommercialService Processo e' um agente de Agente Cognitivo AutonomousAgent emprega Agente Cognitivo Processo termina em Entidade Processo tem por fim Entidade Entidade e' uma instancia de Transacao Financeira Entidade termina em AutonomousAgent Entidade tem como origem Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17304-17307	Organizacao emprega Humano Posicao Humano ocupa a posicao de Posicao Organizacao

consequent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3635-3642	customerRepresentative Agente Cognitivo, Agente Cognitivo and Organizacao Processo Processo e' uma instancia de Transacao Financeira Organizacao emprega Agente Cognitivo Processo e' um agente de Agente Cognitivo Processo termina em Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1935-1946	TravelerAccommodation e' um atributo de AutonomousAgent AutonomousAgent e' capaz de fazer RoomCleaningService no role agent Agente Cognitivo Objeto AutonomousAgent emprega Agente Cognitivo Maid e' um atributo de Agente Cognitivo Objeto e' uma instancia de HotelUnit Objeto e' uma &parte de propriedade de AutonomousAgent Objeto e' capaz de fazer RoomCleaningService no role patient Agente Cognitivo e' capaz de fazer RoomCleaningService no role serviceProvider
No TPTP formula. May not be expressible in strict first order.	Government.kif 4486-4490	diplomaticRepresentativeInRole Area Geopolitica, Humano, Posicao and AutonomousAgent Area Geopolitica e' uma instancia de Area Geopolitica o governo de Area Geopolitica emprega Humano
No TPTP formula. May not be expressible in strict first order.	Government.kif 4492-4496	diplomaticRepresentativeInRole AutonomousAgent, Humano, Posicao and AutonomousAgent AutonomousAgent e' uma instancia de Organizacao AutonomousAgent emprega Humano
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 171-177	Certificado e' uma instancia de PayCheck issuedBy Certificado and Agente Cognitivo Processo e' uma instancia de Dar Processo termina em AutonomousAgent AutonomousAgent emprega Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10762-10770	Processo e' uma instancia de Despedir AutonomousAgent e' uma instancia de Organizacao Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo AutonomousAgent emprega Entidade vale durante o comeco de tempo de existencia de Processo AutonomousAgent nao emprega %n Entidade vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10746-10754	Processo e' uma instancia de Empregar AutonomousAgent e' uma instancia de Organizacao Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo AutonomousAgent nao emprega %n Entidade vale durante o comeco de tempo de existencia de Processo AutonomousAgent emprega Entidade vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10642-10651	Processo e' uma instancia de Empregar AutonomousAgent e' uma instancia de Organizacao Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo AutonomousAgent emprega Entidade vale durante imediatemente apos tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16915-16922	Processo e' uma instancia de LaborStriking Processo e' um agente de Agente Cognitivo Agente Cognitivo e' uma instancia de Humano AutonomousAgent e' um patient de Processo AutonomousAgent e' uma instancia de Organizacao AutonomousAgent emprega Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1902-1914	Objeto e' uma instancia de Nursery Objeto e' um elemento de propriedade de AutonomousAgent TravelerAccommodation e' um atributo de AutonomousAgent Agente Cognitivo Entidade CommunalAttribute e' um atributo de Objeto AutonomousAgent emprega Agente Cognitivo Agente Cognitivo tem por fim Entidade e' uma instancia de ChildCareService serviceProvider Entidade and Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Government.kif 4614-4619	representativeAgentToAgent Area Geopolitica, Agente Cognitivo and AutonomousAgent Area Geopolitica e' uma instancia de Nacao Agente Cognitivo e' uma instancia de Agente Cognitivo o governo de Area Geopolitica emprega Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Government.kif 4607-4612	representativeAgentToAgent AutonomousAgent, Agente Cognitivo and AutonomousAgent AutonomousAgent e' uma instancia de Organizacao Agente Cognitivo e' uma instancia de Agente Cognitivo AutonomousAgent emprega Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20997-21003	JudgeAtLaw e' um atributo de Agente Cognitivo AutonomousAgent AutonomousAgent e' uma instancia de JudicialOrganization AutonomousAgent e' uma instancia de GovernmentOrganization AutonomousAgent emprega Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	naics.kif 11934-11946	BarberShops e' um atributo de Objeto Objeto tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Hair Entidade e' uma &parte de Entidade Entidade e' uma instancia de Humano Entidade e' uma instancia de Cortar Entidade e' um patient de Entidade eventLocated Entidade and Objeto Entidade e' um agente de Entidade Objeto emprega Entidade
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1883-1888	AutonomousAgent e' capaz de fazer ChildCareService no role agent Agente Cognitivo AutonomousAgent emprega Agente Cognitivo Agente Cognitivo e' capaz de fazer ChildCareService no role serviceProvider
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16837-16843	colleague Humano, Humano and Organizacao Posicao Temporal Organizacao emprega Humano Organizacao emprega Humano vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3357-3364	employeeContribution Humano, Medida de Divisa and Intervalo Temporal AutonomousAgent Processo Processo e' uma instancia de PensionPlan AutonomousAgent emprega Humano Processo e' um agente de AutonomousAgent Processo termina em Humano
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22413-22418	GovernmentPerson e' um atributo de Entidade vale durante Posicao Temporal Entidade Entidade e' uma instancia de Governo Entidade emprega Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22964-22973	coworker Entidade and Entidade vale durante Posicao Temporal Entidade Entidade e' uma instancia de Organizacao Entidade emprega Entidade Entidade emprega Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3122-3129	Entidade e' uma instancia de DrugStore o argumento Entidade Pharmacist e' um atributo de Entidade Entidade emprega Entidade tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3084-3092	Fisico e' uma instancia de GeniusBar Fisico tem por fim Entidade Entidade Entidade emprega AppleComputerCorporation Entidade e' uma instancia de CustomerSupport Entidade e' um agente de Entidade Entidade e' situado em Fisico
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2281-2292	ServiceProcess e' uma instancia de MedicalService AutonomousAgent Agente Cognitivo and Processo ServiceProcess e' um agente de AutonomousAgent AutonomousAgent emprega Agente Cognitivo MedicalDoctor e' um atributo de Agente Cognitivo serviceProvider ServiceProcess and Agente Cognitivo Processo e' uma instancia de Processo Terapeutico Processo e' uma instancia de Processo de Diagnostico Processo e' um sub-processo de ServiceProcess
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8543-8556	Colecao e' uma instancia de UnionOrganization AutonomousAgent Agente Cognitivo Agente Cognitivo e' membro de Colecao AutonomousAgent e' uma instancia de Empresa AutonomousAgent emprega Agente Cognitivo AutonomousAgent AutonomousAgent e' uma instancia de Industry AutonomousAgent e' membro de AutonomousAgent AutonomousAgent emprega Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22559-22573	Fisico e' uma instancia de RestaurantBuilding Fisico tem por fim Entidade Entidade, Entidade, Entidade and EntidadeAY Entidade emprega Entidade Entidade possui Fisico Entidade e' uma instancia de Humano EntidadeAY e' uma instancia de Transacao Financeira EntidadeAY e' um agente de Entidade Entidade e' um patient de EntidadeAY Entidade autoriza Entidade a executar tarefas de tipo Entidade Entidade e' uma instancia de Comer Entidade e' um agente de Entidade eventLocated Entidade and Fisico
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2300-2307	ServiceProcess e' uma instancia de SecretarialService Agente Cognitivo Agente Cognitivo and Agente Cognitivo serviceProvider ServiceProcess and Agente Cognitivo serviceRecipient ServiceProcess and Agente Cognitivo Agente Cognitivo emprega Agente Cognitivo ClericalSecretary e' um atributo de Agente Cognitivo

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

Agente Cognitivo NewReporter e' um atributo de Agente Cognitivo ProPublica emprega Agente Cognitivo

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

KB Term:			Term intersection

English Word: