TreeView Knowledge Base Browser - partyToAgreement

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

partyToAgreement

Sigma KEE - partyToAgreement

partyToAgreement

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13993-13994
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13997-13997	O argumento numero 1 de partyToAgreement e' uma instancia de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13998-13998	O argumento numero 2 de partyToAgreement e' uma instancia de Agreement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13992-13992	partyToAgreement e' uma instancia de Predicado Binario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1907-1907
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1906-1906
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1905-1905
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 228-228	accountAt e' uma sub-relacao de partyToAgreement
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 247-247	accountHolder e' uma sub-relacao de partyToAgreement
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1298-1298	borrower e' uma sub-relacao de partyToAgreement
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3804-3804	financialAccount e' uma sub-relacao de partyToAgreement
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1284-1284	lender e' uma sub-relacao de partyToAgreement
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2583-2583	optionHolder e' uma sub-relacao de partyToAgreement
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2596-2596	optionSeller e' uma sub-relacao de partyToAgreement
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44616-44616
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44615-44615
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44614-44614

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2008-2029	LimitOrder e' um atributo de Transacao Financeira partyToAgreement Transacao Financeira and Agreement Broker e' um atributo de Agreement orderFor Transacao Financeira, Comprar and Security a medida de Security e' Quantidade Fisica limitPrice Transacao Financeira and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfCurrency askPrice Security, Numero Real Unidade de Medida(s) and AutonomousAgent Numero Real e' menor ou igual a Numero Real Agreement e' obrigado a executar tarefas de tipo a classe descrita por Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2031-2052	LimitOrder e' um atributo de Transacao Financeira partyToAgreement Transacao Financeira and Agreement Broker e' um atributo de Agreement orderFor Transacao Financeira, Vender and Security a medida de Security e' Quantidade Fisica limitPrice Transacao Financeira and Numero Real Unidade de Medida(s) bidPrice Security, Numero Real Unidade de Medida(s) and AutonomousAgent Unidade de Medida e' uma instancia de UnitOfCurrency Numero Real e' maior ou igual a Numero Real Agreement e' obrigado a executar tarefas de tipo a classe descrita por Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1981-1990	MarketOrder e' um atributo de Transacao Financeira Broker e' um atributo de Agreement partyToAgreement Transacao Financeira and Agreement orderFor Transacao Financeira, Transacao Financeira and Security Agreement e' obrigado a executar tarefas de tipo a classe descrita por Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2332-2338	Agreement e' uma instancia de CivilAffairsAgreement partyToAgreement Agente Cognitivo and Agreement partyToAgreement Agente Cognitivo and Agreement enemy Agente Cognitivo and Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2309-2328	Agreement e' uma instancia de CivilAffairsAgreement partyToAgreement Entidade_MIL_THIS and Agreement Entidade_MIL_THIS e' uma instancia de MilitaryOrganization militaryOfArea Entidade_MIL_THIS and Entidade_THIS Entidade_THIS e' uma instancia de Nacao Entidade_MIL_THIS e' situado em Entidade_FRIENDLY Entidade_FRIENDLY e' uma instancia de Nacao Entidade_THIS e' igual a Entidade_FRIENDLY enemy Entidade_THIS and Entidade_FRIENDLY Entidade_FRIENDLY Entidade_FRIENDLY e' situado em Entidade_FRIENDLY partyToAgreement Entidade_FRIENDLY and Agreement Entidade_FRIENDLY e' uma instancia de MilitaryOrganization
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 311-324	negotiatedPrice Fisico, Medida de Divisa and Agreement partyToAgreement Agente Cognitivo and Agreement partyToAgreement Agente Cognitivo and Agreement agreementClause Entidade Entidade Entidade e' uma instancia de Comprar Entidade e' um patient de Entidade Entidade e' uma instancia imediata de Fisico Entidade e' um agente de Agente Cognitivo Entidade tem como origem Agente Cognitivo transactionAmount Entidade and Medida de Divisa, Obligation, Agreement and Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 276-289	negotiatedPrice Fisico, Medida de Divisa and Agreement partyToAgreement Agente Cognitivo and Agreement partyToAgreement Agente Cognitivo and Agreement o argumento Entidade Entidade Entidade e' uma instancia de Vender Entidade e' um patient de Entidade Entidade e' uma instancia imediata de Fisico Entidade e' um agente de Agente Cognitivo Entidade termina em Agente Cognitivo transactionAmount Entidade and Medida de Divisa tem a forca modal de Promise
No TPTP formula. May not be expressible in strict first order.	Law.kif 573-588	partyToAgreement Agente Cognitivo and Agreement Processo e' uma instancia de Processo Intencional Processo e' situado em Area Geopolitica Area Geopolitica e' uma instancia de Area Geopolitica ageOfMajorityForProcess Numero Real YearDuration(s), Area Geopolitica and Processo ContentBearingPhysical e' o resultado de Processo recordForAgreement ContentBearingPhysical and Agreement Legal e' um atributo de Agreement a idade de Agente Cognitivo e' Numero Real2 YearDuration(s) Numero Real2 e' maior que Numero Real vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Law.kif 554-571	partyToAgreement Agente Cognitivo and Agreement Processo e' uma instancia de Processo Intencional Processo e' situado em Area Geopolitica Area Geopolitica e' uma instancia de Nacao Processo e' situado em Area Geopolitica2 Area Geopolitica2 e' uma instancia de Area Geopolitica ageOfMajorityForProcess Numero Real YearDuration(s), Area Geopolitica and Processo ContentBearingPhysical e' o resultado de Processo recordForAgreement ContentBearingPhysical and Agreement a idade de Agente Cognitivo e' Entidade YearDuration(s) Entidade e' maior que Numero Real vale durante tempo de existencia de Processo Legal e' um atributo de Agreement
No TPTP formula. May not be expressible in strict first order.	Law.kif 515-524	partyToAgreement Agente Cognitivo and Agreement Processo e' uma instancia de Processo Intencional ContentBearingPhysical e' o resultado de Processo recordForAgreement ContentBearingPhysical and Agreement Legal e' um atributo de Agreement Sober e' um atributo de Agente Cognitivo vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14148-14162	Agreement tem um atributo de Contract partyToAgreement Agente Cognitivo and Agreement partyToAgreement Agente Cognitivo and Agreement Processo e' uma instancia de Processo Intencional Processo e' um agente de Agente Cognitivo Processo exprime o conteudo de Proposicao consistent Proposicao and Agreement o argumento Entidade Entidade e' uma instancia de Acao Legal plaintiff Entidade and Agente Cognitivo defendant Entidade and Agente Cognitivo tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14000-14006	partyToAgreement Agente Cognitivo and Agreement Processo Processo e' uma instancia de Comprometer-se Processo e' um agente de Agente Cognitivo Agreement e' um patient de Processo

consequent

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.	Mid-level-ontology.kif 14071-14076	agreementClause Proposicao, Atributo Deontico, Agreement and Agente Cognitivo ContentBearingPhysical ContentBearingPhysical contem informacao Proposicao partyToAgreement Agente Cognitivo and Agreement
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1162-1171	FinancialAccount e' uma instancia de LiabilityAccount accountHolder FinancialAccount and Agreement accountAt FinancialAccount and Agreement Agente Cognitivo Agente Cognitivo tem um atributo de Liability partyToAgreement Agente Cognitivo and Agreement partyToAgreement Agente Cognitivo and Agreement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29627-29641	Intervalo Temporal e' uma instancia de Confirming Intervalo Temporal e' um agente de Agreement Intervalo Temporal contem informacao Proposicao Intervalo Temporal ContentBearingPhysical and Agreement2 Intervalo Temporal e' uma instancia de Declarar Intervalo Temporal acontence antes de Intervalo Temporal ContentBearingPhysical e' uma instancia de ReachingAgreement Intervalo Temporal e' um agente de Agreement2 ContentBearingPhysical contem informacao Proposicao Intervalo Temporal contem informacao Proposicao partyToAgreement ContentBearingPhysical and Agreement partyToAgreement ContentBearingPhysical and Agreement2
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2309-2328	Agreement e' uma instancia de CivilAffairsAgreement partyToAgreement Entidade_MIL_THIS and Agreement Entidade_MIL_THIS e' uma instancia de MilitaryOrganization militaryOfArea Entidade_MIL_THIS and Entidade_THIS Entidade_THIS e' uma instancia de Nacao Entidade_MIL_THIS e' situado em Entidade_FRIENDLY Entidade_FRIENDLY e' uma instancia de Nacao Entidade_THIS e' igual a Entidade_FRIENDLY enemy Entidade_THIS and Entidade_FRIENDLY Entidade_FRIENDLY Entidade_FRIENDLY e' situado em Entidade_FRIENDLY partyToAgreement Entidade_FRIENDLY and Agreement Entidade_FRIENDLY e' uma instancia de MilitaryOrganization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21511-21516	Processo e' uma instancia de ClosingContract Processo e' um agente de Agreement Processo termina em Agente Cognitivo partyToAgreement Agente Cognitivo and Agreement
No TPTP formula. May not be expressible in strict first order.	Media.kif 153-160	Processo e' uma instancia de ReachingAgreement Processo e' um agente de AutonomousAgent Entidade e' o resultado de Processo Entidade e' uma instancia de Agreement partyToAgreement AutonomousAgent and Entidade vale durante apos tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2058-2063	Broker e' um atributo de Agente Cognitivo Agreement Agreement e' uma instancia de ServiceContract partyToAgreement Agente Cognitivo and Agreement
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 513-526	contractedRentalPrice Fisico, Funcao de Quantidade and Agreement Agente Cognitivo Agente Cognitivo partyToAgreement Agente Cognitivo and Agreement partyToAgreement Agente Cognitivo and Agreement o argumento Entidade Entidade Entidade e' uma instancia de Renting Entidade e' uma instancia de Fisico Entidade e' um patient de Entidade Entidade e' um agente de Agente Cognitivo Entidade termina em Agente Cognitivo tem a forca modal de Obligation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20822-20835	contractor Artefato Estacionario and Agente Cognitivo Agreement Agente Cognitivo Agreement tem um atributo de Contract partyToAgreement Agente Cognitivo and Agreement partyToAgreement Agente Cognitivo and Agreement Agente Cognitivo obriga Agente Cognitivo a executar tarefas de tipo Entidade Artefato Estacionario Entidade e' uma instancia de Construcao Entidade e' um agente de Agente Cognitivo Artefato Estacionario e' o resultado de Entidade Artefato Estacionario e' uma instancia de Artefato Estacionario
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13971-13977	Agreement e' uma instancia de Agreement Agente Cognitivo Agente Cognitivo partyToAgreement Agente Cognitivo and Agreement partyToAgreement Agente Cognitivo and Agreement Agente Cognitivo e' igual a Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14169-14175	Agreement tem um atributo de MarriageContract Humano Humano partyToAgreement Humano and Agreement partyToAgreement Humano and Agreement spouse Humano and Humano
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14182-14191	Proposicao tem um atributo de PurchaseContract Processo ProcessoELLER and Agreement Processo e' uma instancia de Vender Processo e' um agente de ProcessoELLER Processo termina em Agreement Processo exprime o conteudo de Proposicao partyToAgreement Proposicao and ProcessoELLER partyToAgreement Proposicao and Agreement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14197-14206	Proposicao tem um atributo de ServiceContract ServiceProcess Agreement and ProposicaoUST ServiceProcess e' uma instancia de ServiceProcess ServiceProcess exprime o conteudo de Proposicao serviceProvider ServiceProcess and Agreement serviceRecipient ServiceProcess and ProposicaoUST partyToAgreement Proposicao and Agreement partyToAgreement Proposicao and ProposicaoUST
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1473-1481	Agente Cognitivo tem um atributo de LoanCommitment Loan Agreement and Agreement Loan e' uma instancia de Loan lender Loan and Agreement borrower Loan and Agreement partyToAgreement Agente Cognitivo and Agreement partyToAgreement Agente Cognitivo and Agreement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14219-14228	Agente Cognitivo tem um atributo de Treaty Agreement Agreement partyToAgreement Agente Cognitivo and Agreement partyToAgreement Agente Cognitivo and Agreement Agreement e' uma instancia de Nacao Agreement e' uma instancia de Nacao Agreement e' igual a Agreement
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3113-3115	unratifiedSignatoryToAgreement Agente Cognitivo and Agreement partyToAgreement Agente Cognitivo and Agreement

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

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners