Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - PurchaseContract
PurchaseContract(purchase contract)purchase_agreement, purchase_contract

appearance as argument number 1
-------------------------


(subclass PurchaseContract Contract) Mid-level-ontology.kif 15782-15782 Purchase contract is a subclass of contract
(documentation PurchaseContract EnglishLanguage "A Contract between two Agents in which one AutonomousAgent agrees to render the other some good or service in exchange for currency.") Mid-level-ontology.kif 15783-15785 Purchase contract is a subclass of contract

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage PurchaseContract "purchase contract") domainEnglishFormat.kif 48145-48145
(termFormat ChineseTraditionalLanguage PurchaseContract "採購合同") domainEnglishFormat.kif 48146-48146
(termFormat ChineseLanguage PurchaseContract "采购合同") domainEnglishFormat.kif 48147-48147

antecedent
-------------------------


(=>
    (instance ?C PurchaseContract)
    (exists (?S ?SELLER ?BUYER)
        (and
            (instance ?S Selling)
            (agent ?S ?SELLER)
            (destination ?S ?BUYER)
            (realization ?S ?C)
            (partyToAgreement ?C ?SELLER)
            (partyToAgreement ?C ?BUYER))))		 Mid-level-ontology.kif 15787-15796 If X is an instance of purchase contract, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of selling (3) Z is an agent of Y (4) Y ends up at W (5) Y expresses the content of X (6) Z is a party to agreement of X (7) W is a party to agreement of X


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners