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

s__documentation(s__partyToAgreement__m,s__EnglishLanguage,'(partyToAgreement ?AGENT ?PROP) means that the Agent ?AGENT has committed to the agreement ?PROP.')	Mid-level-ontology.kif 11597-11598
s__domain(s__partyToAgreement__m,1,s__CognitiveAgent)	Mid-level-ontology.kif 11601-11601	The number 1 argument of party to agreement is an instance of cognitive agent
s__domain(s__partyToAgreement__m,2,s__Agreement)	Mid-level-ontology.kif 11602-11602	The number 2 argument of party to agreement is an instance of agreement
s__instance(s__partyToAgreement__m,s__BinaryPredicate) s__instance(s__BinaryPredicate,s__SetOrClass)	Mid-level-ontology.kif 11596-11596	party to agreement is an instance of binary predicate

appearance as argument number 2

s__format(s__EnglishLanguage,s__partyToAgreement__m,'%2 is %n a party to agreement of %1')	domainEnglishFormat.kif 485-485
s__subrelation(s__accountAt__m,s__partyToAgreement__m)	FinancialOntology.kif 228-228	account at is a subrelation of party to agreement
s__subrelation(s__accountHolder__m,s__partyToAgreement__m)	FinancialOntology.kif 247-247	account holder is a subrelation of party to agreement
s__subrelation(s__borrower__m,s__partyToAgreement__m)	FinancialOntology.kif 1240-1240	borrower is a subrelation of party to agreement
s__subrelation(s__financialAccount__m,s__partyToAgreement__m)	FinancialOntology.kif 3644-3644	financialAccount is a subrelation of party to agreement
s__subrelation(s__lender__m,s__partyToAgreement__m)	FinancialOntology.kif 1226-1226	lender is a subrelation of party to agreement
s__subrelation(s__optionHolder__m,s__partyToAgreement__m)	FinancialOntology.kif 2506-2506	option holder is a subrelation of party to agreement
s__subrelation(s__optionSeller__m,s__partyToAgreement__m)	FinancialOntology.kif 2519-2519	option seller is a subrelation of party to agreement
s__termFormat(s__EnglishLanguage,s__partyToAgreement__m,'party to agreement')	domainEnglishFormat.kif 7856-7856	"party to agreement" is the printable form of party to agreement in english language

antecedent

( ! [V__AGENT2,V__AGENT1,V__CAA] : ((s__instance(V__AGENT2,s__CognitiveAgent)s__and__ms__instance(V__AGENT1,s__CognitiveAgent)) s__=>((s__instance(V__CAA,s__CivilAffairsAgreement)s__and__ms__partyToAgreement(V__AGENT1,V__CAA) s__and__ms__partyToAgreement(V__AGENT2,V__CAA)) s__=>(s__not__ms__enemy(V__AGENT1,V__AGENT2)))) )	MilitaryProcesses.kif 2299-2305	If an agreement is an instance of civil affairs agreement and the agreement is a party to agreement of a cognitive agent and the agreement is a party to agreement of another cognitive agent, then the cognitive agent and the other cognitive agent are not enemies of each other
( ! [V__CAA,V__AGENT_MIL_THIS,V__NATION_THIS,V__NATION_FRIENDLY] : ((s__instance(V__CAA,s__CivilAffairsAgreement)s__and__ms__partyToAgreement(V__AGENT_MIL_THIS,V__CAA) s__and__ms__instance(V__AGENT_MIL_THIS,s__MilitaryOrganization)s__and__ms__militaryOfArea(V__AGENT_MIL_THIS,V__NATION_THIS) s__and__ms__instance(V__NATION_THIS,s__Nation)s__and__ms__located(V__AGENT_MIL_THIS,V__NATION_FRIENDLY) s__and__ms__instance(V__NATION_FRIENDLY,s__Nation)) s__=>((s__not__m(V__NATION_THISs__equal__mV__NATION_FRIENDLY)) s__and__m(s__not__ms__enemy(V__NATION_THIS,V__NATION_FRIENDLY)) s__and__m(s__exists__m[V__AGENT_FRIENDLY] : (s__instance(V__AGENT_FRIENDLY,s__CognitiveAgent)s__and__m(s__located(V__AGENT_FRIENDLY,V__NATION_FRIENDLY) s__and__ms__partyToAgreement(V__AGENT_FRIENDLY,V__CAA) s__and__m(s__not__ms__instance(V__AGENT_FRIENDLY,s__MilitaryOrganization))))))) )	MilitaryProcesses.kif 2276-2295	If an agreement is an instance of civil affairs agreement and the agreement is a party to agreement of an entity_MIL_THIS and the entity_MIL_THIS is an instance of military organization and another entity_THIS is a military of area of the entity_MIL_THIS and the other entity_THIS is an instance of nation and the entity_MIL_THIS is located at the other entity_FRIENDLY and the other entity_FRIENDLY is an instance of nation, then the other entity_THIS is not equal to the other entity_FRIENDLY and the other entity_THIS and the other entity_FRIENDLY are not enemies of each other and there exists the entity_FRIENDLY such that the entity_FRIENDLY is located at the other entity_FRIENDLY and the agreement is a party to agreement of the entity_FRIENDLY and the entity_FRIENDLY is not an instance of military organization
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1946-1964	If a financial transaction is an instance of limit order and an agreement is a party to agreement of the financial transaction and broker is an attribute of the agreement and the financial transaction order for buying for a security and the measure of the security is a physical quantity and a currency measure is a limit price of the financial transaction and an agent asks for another currency measure for the security and the other currency measure is less than or equal to the currency measure, then the agreement is obliged to perform tasks of type the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1966-1984	If a financial transaction is an instance of limit order and an agreement is a party to agreement of the financial transaction and broker is an attribute of the agreement and the financial transaction order for selling for a security and the measure of the security is a physical quantity and a currency measure is a limit price of the financial transaction and an agent bids another currency measure for the security and the other currency measure is greater than or equal to the currency measure, then the agreement is obliged to perform tasks of type the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1918-1927	If a financial transaction is an instance of market order and broker is an attribute of an agreement and the agreement is a party to agreement of the financial transaction and the financial transaction order for another kind of financial transaction for a security, then the agreement is obliged to perform tasks of type the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 262-276	If the price negotiated for a kind of entity in an agreement is a currency measure and the agreement is a party to agreement of a cognitive agent and the agreement is a party to agreement of another cognitive agent and a kind of entity is a subclass of physical, then the statement if another entity is an instance of selling and a third entity is a patient of the other entity and the third entity is an immediate instance of the kind of entity and the cognitive agent is an agent of the other entity and the other entity ends up at the other cognitive agent, then the currency measure is a transaction amount of the other entity has the modal force of promise
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 278-293	If the price negotiated for a kind of entity in an agreement is a currency measure and the agreement is a party to agreement of a cognitive agent and the agreement is a party to agreement of another cognitive agent and a kind of entity is a subclass of proposition, then the statement if another entity is an immediate instance of the kind of entity and a third entity expresses the content of the other entity and a fourth entity is an instance of selling and the third entity is a patient of the fourth entity and the cognitive agent is an agent of the fourth entity and the fourth entity ends up at the other cognitive agent, then the currency measure is a transaction amount of the fourth entity has the modal force of promise
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 295-309	If the price negotiated for a kind of entity in an agreement is a currency measure and the agreement is a party to agreement of a cognitive agent and the agreement is a party to agreement of another cognitive agent, then there exists another entity such that the cognitive agent has the responsibility to make if the other entity is an instance of buying and a third entity is a patient of the other entity and the third entity is an immediate instance of a kind of entity and the other cognitive agent is an agent of the other entity and the other entity originates at the cognitive agent, then the currency measure is a transaction amount of the other entity obligation in the agreement
No TPTP formula. May not be expressible in strict first order.	Law.kif 617-632	If an agreement is a party to agreement of a cognitive agent and a kind of process is an instance of intentional process and a kind of process is located at a geopolitical area and the geopolitical area is an instance of geopolitical area and a real number year duration(s) is the age of majority for the kind of process in the geopolitical area and a content bearing physical is a result of the kind of process and the content bearing physical is the record of the agreement and legal is an attribute of the agreement, then the age of the cognitive agent is the real number2 year duration(s) and the real number2 is greater than the real number holds during the time of existence of the kind of process
No TPTP formula. May not be expressible in strict first order.	Law.kif 598-615	If an agreement is a party to agreement of a cognitive agent and a kind of process is an instance of intentional process and a kind of process is located at a geopolitical area and the geopolitical area is an instance of nation and the kind of process is located at the geopolitical area2 and the geopolitical area2 is an instance of geopolitical area and a real number year duration(s) is the age of majority for the kind of process in the geopolitical area and a content bearing physical is a result of the kind of process and the content bearing physical is the record of the agreement and the age of the cognitive agent is an entity year duration(s) and the entity is greater than the real number holds during the time of existence of the kind of process, then legal is an attribute of the agreement
No TPTP formula. May not be expressible in strict first order.	Law.kif 559-568	If an agreement is a party to agreement of a cognitive agent and a process is an instance of intentional process and a content bearing physical is a result of the process and the content bearing physical is the record of the agreement and legal is an attribute of the agreement, then sober is an attribute of the cognitive agent holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11766-11780	If an agreement has an attribute contract and the agreement is a party to agreement of a cognitive agent and the agreement is a party to agreement of another cognitive agent and a process is an instance of intentional process and the cognitive agent is an agent of the process and the process expresses the content of a proposition and the agreement is not a consistent of the proposition, then the statement there exists an entity such that the entity is an instance of legal action and the other cognitive agent is the plaintiff in the entity and the cognitive agent is the defendant in the entity has the modal force of possibility
( ! [V__AGENT,V__CONTENT] : ((s__instance(V__AGENT,s__CognitiveAgent)s__and__ms__instance(V__CONTENT,s__Agreement)) s__=>(s__partyToAgreement(V__AGENT,V__CONTENT) s__=>(s__exists__m[V__C] : (s__instance(V__C,s__Committing)s__and__ms__agent(V__C,V__AGENT) s__and__ms__patient(V__C,V__CONTENT))))) )	Mid-level-ontology.kif 11604-11610	If an agreement is a party to agreement of a cognitive agent, then there exists a process such that the process is an instance of committing and the cognitive agent is an agent of the process and the agreement is a patient of the process

consequent

( ! [V__Agent,V__Org] : ((s__instance(V__Agent,s__Agreement)s__and__ms__instance(V__Agent,s__CognitiveAgent)s__and__ms__instance(V__Org,s__Agent)s__and__ms__instance(V__Org,s__Agreement)) s__=>(s__employs(V__Org,V__Agent) s__<=> (s__exists__m[V__Employment] : (s__instance(V__Employment,s__CognitiveAgent)s__and__m(s__property(V__Employment,s__Employment)s__and__ms__partyToAgreement(V__Employment,V__Org) s__and__ms__partyToAgreement(V__Employment,V__Agent)))))) )	FinancialOntology.kif 3151-3157	An agent employs an agreement if and only if there exists a cognitive agent such that the cognitive agent has an attribute employment and the agent is a party to agreement of the cognitive agent and the agreement is a party to agreement of the cognitive agent
( ! [V__AGENT,V__ATTR,V__PROP,V__AGREEMENT] : ((s__instance(V__AGENT,s__CognitiveAgent)s__and__ms__instance(V__ATTR,s__DeonticAttribute)s__and__ms__instance(V__PROP,s__Proposition)s__and__ms__instance(V__AGREEMENT,s__Agreement)) s__=>(s__agreementClause(V__PROP,V__ATTR,V__AGREEMENT,V__AGENT) s__=>((s__exists__m[V__CLAUSE] : (s__instance(V__CLAUSE,s__ContentBearingPhysical)s__and__ms__containsInformation(V__CLAUSE,V__PROP))) s__and__ms__partyToAgreement(V__AGENT,V__AGREEMENT)))) )	Mid-level-ontology.kif 11675-11680	If a cognitive agent has the responsibility to make a proposition a deontic attribute in an agreement, then there exists a content bearing physical such that the content bearing physical contains information the proposition and the agreement is a party to agreement of the cognitive agent
( ! [V__Agent,V__Bank,V__Account] : ((s__instance(V__Agent,s__Agreement)s__and__ms__instance(V__Agent,s__CognitiveAgent)s__and__ms__instance(V__Bank,s__Agreement)s__and__ms__instance(V__Bank,s__FinancialOrganization)) s__=>((s__instance(V__Account,s__LiabilityAccount)s__and__ms__accountHolder(V__Account,V__Agent) s__and__ms__accountAt(V__Account,V__Bank)) s__=>(s__exists__m[V__Debt] : (s__instance(V__Debt,s__CognitiveAgent)s__and__m(s__property(V__Debt,s__Liability)s__and__ms__partyToAgreement(V__Debt,V__Agent) s__and__ms__partyToAgreement(V__Debt,V__Bank)))))) )	FinancialOntology.kif 1107-1116	If a financial account is an instance of liability account and an agreement holds account the financial account and the financial account is held by another agreement, then there exists a cognitive agent such that the cognitive agent has an attribute liability and the agreement is a party to agreement of the cognitive agent and the other agreement is a party to agreement of the cognitive agent
( ! [V__P,V__A,V__C] : ((s__instance(V__P,s__Proposition)s__and__ms__instance(V__A,s__Agent)s__and__ms__instance(V__A,s__Agreement)) s__=>((s__instance(V__C,s__Confirming)s__and__ms__agent(V__C,V__A) s__and__ms__containsInformation(V__C,V__P)) s__=>(s__exists__m[V__S,V__RA,V__A2] : (s__instance(V__A2,s__Agent)s__and__ms__instance(V__A2,s__Agreement)s__and__m(s__instance(V__S,s__Stating)s__and__ms__earlier(V__S,V__C) s__and__ms__instance(V__RA,s__ReachingAgreement)s__and__ms__agent(V__S,V__A2) s__and__ms__containsInformation(V__RA,V__P) s__and__ms__containsInformation(V__S,V__P) s__and__ms__partyToAgreement(V__RA,V__A) s__and__ms__partyToAgreement(V__RA,V__A2)))))) )	Mid-level-ontology.kif 27810-27824	If a time interval is an instance of Confirming and an agent is an agent of the time interval and the time interval contains information a proposition, then there exist another time interval, a content bearing physical and the agent2 such that the other time interval is an instance of stating and the other time interval happens earlier than the time interval and the content bearing physical is an instance of ReachingAgreement and the agent2 is an agent of the other time interval and the content bearing physical contains information the proposition and the other time interval contains information the proposition and the agent is a party to agreement of the content bearing physical and the agent2 is a party to agreement of the content bearing physical
( ! [V__CAA,V__AGENT_MIL_THIS,V__NATION_THIS,V__NATION_FRIENDLY] : ((s__instance(V__CAA,s__CivilAffairsAgreement)s__and__ms__partyToAgreement(V__AGENT_MIL_THIS,V__CAA) s__and__ms__instance(V__AGENT_MIL_THIS,s__MilitaryOrganization)s__and__ms__militaryOfArea(V__AGENT_MIL_THIS,V__NATION_THIS) s__and__ms__instance(V__NATION_THIS,s__Nation)s__and__ms__located(V__AGENT_MIL_THIS,V__NATION_FRIENDLY) s__and__ms__instance(V__NATION_FRIENDLY,s__Nation)) s__=>((s__not__m(V__NATION_THISs__equal__mV__NATION_FRIENDLY)) s__and__m(s__not__ms__enemy(V__NATION_THIS,V__NATION_FRIENDLY)) s__and__m(s__exists__m[V__AGENT_FRIENDLY] : (s__instance(V__AGENT_FRIENDLY,s__CognitiveAgent)s__and__m(s__located(V__AGENT_FRIENDLY,V__NATION_FRIENDLY) s__and__ms__partyToAgreement(V__AGENT_FRIENDLY,V__CAA) s__and__m(s__not__ms__instance(V__AGENT_FRIENDLY,s__MilitaryOrganization))))))) )	MilitaryProcesses.kif 2276-2295	If an agreement is an instance of civil affairs agreement and the agreement is a party to agreement of an entity_MIL_THIS and the entity_MIL_THIS is an instance of military organization and another entity_THIS is a military of area of the entity_MIL_THIS and the other entity_THIS is an instance of nation and the entity_MIL_THIS is located at the other entity_FRIENDLY and the other entity_FRIENDLY is an instance of nation, then the other entity_THIS is not equal to the other entity_FRIENDLY and the other entity_THIS and the other entity_FRIENDLY are not enemies of each other and there exists the entity_FRIENDLY such that the entity_FRIENDLY is located at the other entity_FRIENDLY and the agreement is a party to agreement of the entity_FRIENDLY and the entity_FRIENDLY is not an instance of military organization
( ! [V__AGENT,V__CONTRACT,V__CLOSE] : ((s__instance(V__AGENT,s__Agent)s__and__ms__instance(V__AGENT,s__Agreement)s__and__ms__instance(V__CONTRACT,s__CognitiveAgent)) s__=>((s__instance(V__CLOSE,s__ClosingContract)s__and__ms__agent(V__CLOSE,V__AGENT) s__and__ms__destination(V__CLOSE,V__CONTRACT)) s__=>s__partyToAgreement(V__CONTRACT,V__AGENT))) )	Mid-level-ontology.kif 19138-19143	If a process is an instance of closing contract and an agent is an agent of the process and the process ends up at a cognitive agent, then the agent is a party to agreement of the cognitive agent
No TPTP formula. May not be expressible in strict first order.	Media.kif 153-160	If a process is an instance of ReachingAgreement and an agent is an agent of the process and an entity is a result of the process and the entity is an instance of agreement, then the entity is a party to agreement of the agent holds during after the time of existence of the process
( ! [V__Broker] : ((s__instance(V__Broker,s__Agreement)s__and__ms__instance(V__Broker,s__Object)) s__=>(s__attribute(V__Broker,s__Broker)s__=>(s__exists__m[V__Contract] : (s__instance(V__Contract,s__ServiceContract)s__and__ms__partyToAgreement(V__Contract,V__Broker))))) )	FinancialOntology.kif 1990-1995	If broker is an attribute of an agreement, then there exists a cognitive agent such that the cognitive agent is an instance of service contract and the agreement is a party to agreement of the cognitive agent
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 493-505	If an agreement specifies the rental of a kind of physical for a function quantity, then there exist a cognitive agent and another cognitive agent such that the agreement is a party to agreement of the cognitive agent and the agreement is a party to agreement of the other cognitive agent and the statement there exists an entity such that the entity is an instance of renting and a kind of physical is a patient of the entity and the cognitive agent is an agent of the entity and the entity ends up at the other cognitive agent has the modal force of obligation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18475-18488	If a cognitive agent has a contract to build a stationary artifact, then there exist an agreement and another cognitive agent such that the agreement has an attribute contract and the agreement is a party to agreement of the other cognitive agent and the agreement is a party to agreement of the cognitive agent and the other cognitive agent obligates the cognitive agent to perform task of the type there exist an entity and the stationary artifact2 such that the entity is an instance of constructing and the cognitive agent is an agent of the entity and the stationary artifact2 is a result of the entity and the stationary artifact2 is an instance of stationary artifact
( ! [V__AGREEMENT] : (s__instance(V__AGREEMENT,s__Agreement)s__=>(s__exists__m[V__AGENT1,V__AGENT2] : (s__instance(V__AGENT1,s__CognitiveAgent)s__and__ms__instance(V__AGENT2,s__CognitiveAgent)s__and__m(s__partyToAgreement(V__AGENT1,V__AGREEMENT) s__and__ms__partyToAgreement(V__AGENT2,V__AGREEMENT) s__and__m(s__not__m(V__AGENT1s__equal__mV__AGENT2)))))) )	Mid-level-ontology.kif 11575-11581	If an agreement is an instance of agreement, then there exist a cognitive agent and another cognitive agent such that the agreement is a party to agreement of the cognitive agent and the agreement is a party to agreement of the other cognitive agent and the cognitive agent is not equal to the other cognitive agent
( ! [V__C] : (s__instance(V__C,s__CognitiveAgent)s__=>(s__property(V__C,s__MarriageContract)s__=>(s__exists__m[V__P1,V__P2] : (s__instance(V__P1,s__Human)s__and__ms__instance(V__P1,s__Agreement)s__and__ms__instance(V__P2,s__Human)s__and__ms__instance(V__P2,s__Agreement)s__and__m(s__partyToAgreement(V__C,V__P1) s__and__ms__partyToAgreement(V__C,V__P2) s__and__ms__spouse(V__P1,V__P2)))))) )	Mid-level-ontology.kif 11787-11793	If a cognitive agent has an attribute marriage contract, then there exist a human and another human such that the human is a party to agreement of the cognitive agent and the other human is a party to agreement of the cognitive agent and the human is the spouse of the other human
( ! [V__C,V__SELLER,V__BUYER] : ((s__instance(V__C,s__Proposition)s__and__ms__instance(V__C,s__CognitiveAgent)s__and__ms__instance(V__SELLER,s__Agent)s__and__ms__instance(V__SELLER,s__Agreement)s__and__ms__instance(V__BUYER,s__Agreement)) s__=>(s__property(V__C,s__PurchaseContract)s__=>(s__exists__m[V__S] : (s__instance(V__S,s__Selling)s__and__ms__agent(V__S,V__SELLER) s__and__ms__destination(V__S,V__BUYER) s__and__ms__realization(V__S,V__C) s__and__ms__partyToAgreement(V__C,V__SELLER) s__and__ms__partyToAgreement(V__C,V__BUYER))))) )	Mid-level-ontology.kif 11800-11809	If a proposition has an attribute purchase contract, then there exists a process such that the process is an instance of selling and the processELLER is an agent of the process and the process ends up at an agreement and the process expresses the content of the proposition and the processELLER is a party to agreement of the proposition and the agreement is a party to agreement of the proposition
( ! [V__C,V__CUST,V__SERVICE] : ((s__instance(V__C,s__Proposition)s__and__ms__instance(V__C,s__CognitiveAgent)s__and__ms__instance(V__CUST,s__Agreement)s__and__ms__instance(V__CUST,s__CognitiveAgent)s__and__ms__instance(V__SERVICE,s__Agreement)s__and__ms__instance(V__SERVICE,s__CognitiveAgent)) s__=>(s__property(V__C,s__ServiceContract)s__=>(s__exists__m[V__SP] : (s__instance(V__SP,s__ServiceProcess)s__and__ms__realization(V__SP,V__C) s__and__ms__serviceProvider(V__SP,V__SERVICE) s__and__ms__serviceRecipient(V__SP,V__CUST) s__and__ms__partyToAgreement(V__C,V__SERVICE) s__and__ms__partyToAgreement(V__C,V__CUST))))) )	Mid-level-ontology.kif 11815-11824	If a proposition has an attribute service contract, then there exists a service such that the service is an instance of service and the service expresses the content of the proposition and an agreement provides a service during the service and the propositionUST receives a service during the service and the agreement is a party to agreement of the proposition and the propositionUST is a party to agreement of the proposition
( ! [V__Commitment] : (s__instance(V__Commitment,s__CognitiveAgent)s__=>(s__property(V__Commitment,s__LoanCommitment)s__=>(s__exists__m[V__Loan,V__Lender,V__Borrower] : (s__instance(V__Lender,s__Agreement)s__and__ms__instance(V__Lender,s__CognitiveAgent)s__and__ms__instance(V__Borrower,s__Agreement)s__and__ms__instance(V__Borrower,s__CognitiveAgent)s__and__m(s__instance(V__Loan,s__Loan)s__and__ms__lender(V__Loan,V__Lender) s__and__ms__borrower(V__Loan,V__Borrower) s__and__ms__partyToAgreement(V__Commitment,V__Lender) s__and__ms__partyToAgreement(V__Commitment,V__Borrower)))))) )	FinancialOntology.kif 1416-1424	If a cognitive agent has an attribute loan commitment, then there exist a loan, an agreement and another agreement such that the loan is an instance of loan and the agreement lends the loan and the loan is the borrower of the other agreement and the agreement is a party to agreement of the cognitive agent and the other agreement is a party to agreement of the cognitive agent
( ! [V__T] : (s__instance(V__T,s__CognitiveAgent)s__=>(s__property(V__T,s__Treaty)s__=>(s__exists__m[V__N1,V__N2] : (s__partyToAgreement(V__T,V__N1) s__and__ms__partyToAgreement(V__T,V__N2) s__and__ms__instance(V__N1,s__Nation)s__and__ms__instance(V__N2,s__Nation)s__and__m(s__not__m(V__N1s__equal__mV__N2)))))) )	Mid-level-ontology.kif 11837-11846	If a cognitive agent has an attribute treaty, then there exist an agreement and another agreement such that the agreement is a party to agreement of the cognitive agent and the other agreement is a party to agreement of the cognitive agent and the agreement is an instance of nation and the other agreement is an instance of nation and the agreement is not equal to the other agreement
( ! [V__AGENT,V__PROP] : ((s__instance(V__AGENT,s__CognitiveAgent)s__and__ms__instance(V__PROP,s__Agreement)) s__=>(s__unratifiedSignatoryToAgreement(V__AGENT,V__PROP) s__=>(s__not__ms__partyToAgreement(V__AGENT,V__PROP)))) )	Geography.kif 2959-2961	If an agreement is an unratified signatory to agreement of a cognitive agent, then the agreement is not a party to agreement of the cognitive agent

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners