TreeView Knowledge Base Browser - negotiatedPrice

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

negotiatedPrice

Sigma KEE - negotiatedPrice

negotiatedPrice

appearance as argument number 1

(documentation negotiatedPrice EnglishLanguage "(negotiatedPrice ?ENT ?PRICE ?AGREE) means that according to Agreement ?AGREE - which is agreed upon by seller and buyer - the CurrencyMeasure ?PRICE is given to Entity ?ENT")	Catalog.kif 266-268
(domain negotiatedPrice 2 CurrencyMeasure)	Catalog.kif 270-270	Die Zahl 2 Argument von negotiatedPrice ist ein fall von CurrencyMeasure %n{nicht}
(domain negotiatedPrice 3 Agreement)	Catalog.kif 271-271	Die Zahl 3 Argument von negotiatedPrice ist ein fall von Agreement %n{nicht}
(domainSubclass negotiatedPrice 1 Physical)	Catalog.kif 269-269	Die Zahl 1 Argument von negotiatedPrice ist eine teilkategorie von Physical %n{nicht}
(instance negotiatedPrice TernaryPredicate)	Catalog.kif 265-265	negotiatedPrice ist ein fall von TernaryPredicate %n{nicht}

appearance as argument number 2

(format ChineseLanguage negotiatedPrice "对于 %1 协商的 price 在 %3 是 %2 ")	domainEnglishFormat.kif 3966-3966
(format ChineseTraditionalLanguage negotiatedPrice "對於 %1 協商的 price 在 %3 是 %2 ")	domainEnglishFormat.kif 3965-3965
(format EnglishLanguage negotiatedPrice "the price negotiated for %1 in %3 is %2")	domainEnglishFormat.kif 3964-3964
(termFormat EnglishLanguage negotiatedPrice "negotiated price")	domainEnglishFormat.kif 65884-65884

antecedent

(=> (and (negotiatedPrice ?ENT ?PRICE ?AGREE) (partyToAgreement ?SELLER ?AGREE) (partyToAgreement ?BUYER ?AGREE)) (agreementClause (exists (?B ?ITEM) (and (instance ?B Buying) (patient ?B ?ITEM) (immediateInstance ?ITEM ?ENT) (agent ?B ?BUYER) (origin ?B ?SELLER) (transactionAmount ?B ?PRICE))) Obligation ?AGREE ?SELLER))	Catalog.kif 311-324	Wenn negotiatedPrice Physical, CurrencyMeasure and Agreement und partyToAgreement CognitiveAgent and Agreement und partyToAgreement CognitiveAgent and Agreement, dann agreementClause es gibt entity und entity um entity ist ein fall von Buying %n{nicht} und entity ist ein patient von entity %n{nicht} und entity ist ein direkter fall von Physical und entity ist der agent von CognitiveAgent %n{nicht} und entity beginnet an CognitiveAgent %n{nicht} und transactionAmount entity and CurrencyMeasure, Obligation, Agreement and ** CognitiveAgent
(=> (and (negotiatedPrice ?ENT ?PRICE ?AGREE) (partyToAgreement ?SELLER ?AGREE) (partyToAgreement ?BUYER ?AGREE)) (modalAttribute (exists (?S ?ITEM) (and (instance ?S Selling) (patient ?S ?ITEM) (immediateInstance ?ITEM ?ENT) (agent ?S ?SELLER) (destination ?S ?BUYER) (transactionAmount ?S ?PRICE))) Promise))	Catalog.kif 276-289	Wenn negotiatedPrice Physical, CurrencyMeasure and Agreement und partyToAgreement CognitiveAgent and Agreement und partyToAgreement CognitiveAgent and Agreement, dann die Aussage es gibt entity und entity um entity ist ein fall von Selling %n{nicht} und entity ist ein patient von entity %n{nicht} und entity ist ein direkter fall von Physical und entity ist der agent von CognitiveAgent %n{nicht} und entity endet an CognitiveAgent %n{nicht} und transactionAmount entity and ** CurrencyMeasure hat die modale Kraft von Promise

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