Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  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
-------------------------


(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 14179-14181
(subAttribute PurchaseContract Contract) Mid-level-ontology.kif 14178-14178 Purchase contract is a subattribute of contract

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


(termFormat ChineseLanguage PurchaseContract "采购合同") domainEnglishFormat.kif 48152-48152
(termFormat ChineseTraditionalLanguage PurchaseContract "採購合同") domainEnglishFormat.kif 48151-48151
(termFormat EnglishLanguage PurchaseContract "purchase contract") domainEnglishFormat.kif 48150-48150

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


(=>
    (property ?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 14183-14192


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