partyToAgreement - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

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	Le nombre 1 argument de partyToAgreement est une instance de agent cognitif
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13998-13998	Le nombre 2 argument de partyToAgreement est une instance de Agreement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13992-13992	partyToAgreement est une instance de pr�dicat binaire

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 est une sous-relation de partyToAgreement
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 247-247	accountHolder est une sous-relation de partyToAgreement
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1298-1298	borrower est une sous-relation de partyToAgreement
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3804-3804	financialAccount est une sous-relation de partyToAgreement
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1284-1284	lender est une sous-relation de partyToAgreement
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2583-2583	optionHolder est une sous-relation de partyToAgreement
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2596-2596	optionSeller est une sous-relation 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 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.	MilitaryProcesses.kif 2332-2338	Agreement est une instance de CivilAffairsAgreement partyToAgreement agent cognitif and Agreement partyToAgreement agent cognitif and Agreement enemy agent cognitif and agent cognitif
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2309-2328	Agreement est une instance de CivilAffairsAgreement partyToAgreement entit�_MIL_THIS and Agreement entit�_MIL_THIS est une instance de MilitaryOrganization militaryOfArea entit�_MIL_THIS and entit�_THIS entit�_THIS est une instance de nation entit�_MIL_THIS est situ� � entit�_FRIENDLY entit�_FRIENDLY est une instance de nation entit�_THIS est entit�_FRIENDLY enemy entit�_THIS and entit�_FRIENDLY entit�_FRIENDLY entit�_FRIENDLY est situ� � entit�_FRIENDLY partyToAgreement entit�_FRIENDLY and Agreement entit�_FRIENDLY est une instance de MilitaryOrganization
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 311-324	negotiatedPrice physique, mesure de devise and Agreement partyToAgreement agent cognitif and Agreement partyToAgreement agent cognitif and Agreement agreementClause entit� entit� entit� est une instance de acheter entit� est un patient de entit� entit� est une instance imm�diate de physique entit� est un agent de agent cognitif entit� a pour origine agent cognitif transactionAmount entit� and mesure de devise, Obligation, Agreement and agent cognitif
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 276-289	negotiatedPrice physique, mesure de devise and Agreement partyToAgreement agent cognitif and Agreement partyToAgreement agent cognitif and Agreement l'argument entit� entit� entit� est une instance de vendre entit� est un patient de entit� entit� est une instance imm�diate de physique entit� est un agent de agent cognitif entit� aboutit � agent cognitif transactionAmount entit� and mesure de devise a la force modale de Promise
No TPTP formula. May not be expressible in strict first order.	Law.kif 573-588	partyToAgreement agent cognitif and Agreement processus est une instance de processus intentionnel processus est situ� � secteur g�opolitique secteur g�opolitique est une instance de secteur g�opolitique ageOfMajorityForProcess nombre r�el YearDuration(s), secteur g�opolitique and processus ContentBearingPhysical est le resultat de processus recordForAgreement ContentBearingPhysical and Agreement Legal est un attribut de Agreement l' agent cognitif est nombre r�el2 YearDuration(s) nombre r�el2 est plus grand que nombre r�el pendant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Law.kif 554-571	partyToAgreement agent cognitif and Agreement processus est une instance de processus intentionnel processus est situ� � secteur g�opolitique secteur g�opolitique est une instance de nation processus est situ� � secteur g�opolitique2 secteur g�opolitique2 est une instance de secteur g�opolitique ageOfMajorityForProcess nombre r�el YearDuration(s), secteur g�opolitique and processus ContentBearingPhysical est le resultat de processus recordForAgreement ContentBearingPhysical and Agreement l' agent cognitif est entit� YearDuration(s) entit� est plus grand que nombre r�el pendant temps d'existence de processus Legal est un attribut de Agreement
No TPTP formula. May not be expressible in strict first order.	Law.kif 515-524	partyToAgreement agent cognitif and Agreement processus est une instance de processus intentionnel ContentBearingPhysical est le resultat de processus recordForAgreement ContentBearingPhysical and Agreement Legal est un attribut de Agreement Sober est un attribut de agent cognitif pendant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14148-14162	Agreement a un attribute Contract partyToAgreement agent cognitif and Agreement partyToAgreement agent cognitif and Agreement processus est une instance de processus intentionnel processus est un agent de agent cognitif processus exprime le contenu de proposition consistent proposition and Agreement l'argument entit� entit� est une instance de action l�gale plaintiff entit� and agent cognitif defendant entit� and agent cognitif a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14000-14006	partyToAgreement agent cognitif and Agreement processus processus est une instance de investir processus est un agent de agent cognitif Agreement est un patient de processus

consequent

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.	Mid-level-ontology.kif 14071-14076	agreementClause proposition , deontic attribute, Agreement and agent cognitif ContentBearingPhysical ContentBearingPhysical contient information proposition partyToAgreement agent cognitif and Agreement
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1162-1171	FinancialAccount est une instance de LiabilityAccount accountHolder FinancialAccount and Agreement accountAt FinancialAccount and Agreement agent cognitif agent cognitif a un attribute Liability partyToAgreement agent cognitif and Agreement partyToAgreement agent cognitif and Agreement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29627-29641	Interval temporel est une instance de Confirming interval temporel est un agent de Agreement interval temporel contient information proposition interval temporel ContentBearingPhysical and Agreement2 interval temporel est une instance de d�clarer interval temporel arrive plus t�t que interval temporel ContentBearingPhysical est une instance de ReachingAgreement interval temporel est un agent de Agreement2 ContentBearingPhysical contient information proposition interval temporel contient information proposition partyToAgreement ContentBearingPhysical and Agreement partyToAgreement ContentBearingPhysical and Agreement2
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2309-2328	Agreement est une instance de CivilAffairsAgreement partyToAgreement entit�_MIL_THIS and Agreement entit�_MIL_THIS est une instance de MilitaryOrganization militaryOfArea entit�_MIL_THIS and entit�_THIS entit�_THIS est une instance de nation entit�_MIL_THIS est situ� � entit�_FRIENDLY entit�_FRIENDLY est une instance de nation entit�_THIS est entit�_FRIENDLY enemy entit�_THIS and entit�_FRIENDLY entit�_FRIENDLY entit�_FRIENDLY est situ� � entit�_FRIENDLY partyToAgreement entit�_FRIENDLY and Agreement entit�_FRIENDLY est une instance de MilitaryOrganization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21511-21516	Processus est une instance de ClosingContract processus est un agent de Agreement processus aboutit � agent cognitif partyToAgreement agent cognitif and Agreement
No TPTP formula. May not be expressible in strict first order.	Media.kif 153-160	Processus est une instance de ReachingAgreement processus est un agent de AutonomousAgent entit� est le resultat de processus entit� est une instance de Agreement partyToAgreement AutonomousAgent and entit� pendant apr�s temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2058-2063	Broker est un attribut de agent cognitif Agreement Agreement est une instance de ServiceContract partyToAgreement agent cognitif and Agreement
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 513-526	contractedRentalPrice physique, function de quantit� and Agreement agent cognitif agent cognitif partyToAgreement agent cognitif and Agreement partyToAgreement agent cognitif and Agreement l'argument entit� entit� entit� est une instance de Renting entit� est une instance de physique entit� est un patient de entit� entit� est un agent de agent cognitif entit� aboutit � agent cognitif a la force modale de Obligation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20822-20835	contractor artefact stationnaire and agent cognitif Agreement agent cognitif Agreement a un attribute Contract partyToAgreement agent cognitif and Agreement partyToAgreement agent cognitif and Agreement agent cognitif oblige agent cognitif � ex�cut� des t�ches du type entit� artefact stationnaire entit� est une instance de construire entit� est un agent de agent cognitif artefact stationnaire est le resultat de entit� artefact stationnaire est une instance de artefact stationnaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13971-13977	Agreement est une instance de Agreement agent cognitif agent cognitif partyToAgreement agent cognitif and Agreement partyToAgreement agent cognitif and Agreement agent cognitif est agent cognitif
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14169-14175	Agreement a un attribute MarriageContract humain humain partyToAgreement humain and Agreement partyToAgreement humain and Agreement spouse humain and humain
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14182-14191	Proposition a un attribute PurchaseContract processus processusELLER and Agreement processus est une instance de vendre processus est un agent de processusELLER processus aboutit � Agreement processus exprime le contenu de proposition partyToAgreement proposition and processusELLER partyToAgreement proposition and Agreement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14197-14206	Proposition a un attribute ServiceContract ServiceProcess Agreement and proposition UST ServiceProcess est une instance de ServiceProcess ServiceProcess exprime le contenu de proposition serviceProvider ServiceProcess and Agreement serviceRecipient ServiceProcess and proposition UST partyToAgreement proposition and Agreement partyToAgreement proposition and proposition UST
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1473-1481	Agent cognitif a un attribute LoanCommitment Loan Agreement and Agreement Loan est une instance de Loan lender Loan and Agreement borrower Loan and Agreement partyToAgreement agent cognitif and Agreement partyToAgreement agent cognitif and Agreement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14219-14228	Agent cognitif a un attribute Treaty Agreement Agreement partyToAgreement agent cognitif and Agreement partyToAgreement agent cognitif and Agreement Agreement est une instance de nation Agreement est une instance de nation Agreement est Agreement
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3113-3115	unratifiedSignatoryToAgreement agent cognitif and Agreement partyToAgreement agent cognitif and Agreement

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

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