TreeView Knowledge Base Browser - productPrice

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - productPrice

productPrice

appearance as argument number 1

(documentation productPrice EnglishLanguage "(productPrice ?ENT ?QUANT ?AGENT) means that CognitiveAgent ?AGENT sells items of type Entity ?ENT for CurrencyMeasure ?QUANT")	Catalog.kif 410-412
(domain productPrice 2 CurrencyMeasure)	Catalog.kif 416-416	Die Zahl 2 Argument von productPrice ist ein fall von CurrencyMeasure %n{nicht}
(domain productPrice 3 CognitiveAgent)	Catalog.kif 417-417	Die Zahl 3 Argument von productPrice ist ein fall von CognitiveAgent %n{nicht}
(domainSubclass productPrice 1 Entity)	Catalog.kif 415-415	Die Zahl 1 Argument von productPrice ist eine teilkategorie von Entity %n{nicht}
(instance productPrice TernaryPredicate)	Catalog.kif 409-409	productPrice ist ein fall von TernaryPredicate %n{nicht}

appearance as argument number 2

(format ChineseLanguage productPrice "%3 sells %1 對於 %2 ")	domainEnglishFormat.kif 4242-4242
(format ChineseTraditionalLanguage productPrice "%3 sells %1 對於 %2 ")	domainEnglishFormat.kif 4241-4241
(format EnglishLanguage productPrice "%3 sells %1 for %2")	domainEnglishFormat.kif 4240-4240
(termFormat EnglishLanguage productPrice "product price")	Catalog.kif 413-413

antecedent

(=> (and (productPrice ?ENT (MeasureFn ?PRICE1 ?U) ?AGENT) (instance ?U UnitOfCurrency) (publishedPrice ?ENT (MeasureFn ?PRICE2 ?U) ?AGENT ?PS) (validFor ?PS ?CUSTCLASS) (instance ?ITEM ?ENT) (instance ?B Buying) (immediateInstance ?CUST ?CUSTCLASS) (agent ?B ?CUST) (origin ?B ?AGENT) (lessThan ?PRICE2 ?PRICE1)) (modalAttribute (transactionAmount ?B ?PRICE1) Likely))	Catalog.kif 430-445	Wenn productPrice Entity, RealNumber UnitOfMeasure(s) and CognitiveAgent und UnitOfMeasure ist ein fall von UnitOfCurrency %n{nicht} und publishedPrice Entity, RealNumber UnitOfMeasure(s), CognitiveAgent and PricingScheme und validFor PricingScheme and AutonomousAgent und Entity ist ein fall von Entity %n{nicht} und Process ist ein fall von Buying %n{nicht} und AutonomousAgent ist ein direkter fall von AutonomousAgent und Process ist der agent von AutonomousAgent %n{nicht} und Process beginnet an CognitiveAgent %n{nicht} und RealNumber ist kleinerAls RealNumber %n{nicht}, dann die Aussage transactionAmount Process and ** RealNumber hat die modale Kraft von Likely
(=> (productPrice ?ENT ?PRICE ?AGENT) (modalAttribute (=> (and (instance ?S Selling) (immediateInstance ?I ?ENT) (patient ?S ?I) (agent ?S ?AGENT)) (transactionAmount ?S ?PRICE)) Likely))	Catalog.kif 419-428	Wenn productPrice Entity, CurrencyMeasure and CognitiveAgent, dann die Aussage wenn entity ist ein fall von Selling %n{nicht} und entity ist ein direkter fall von Entity und entity ist ein patient von entity %n{nicht} und entity ist der agent von CognitiveAgent %n{nicht}, dann transactionAmount entity and CurrencyMeasure hat die modale Kraft von Likely

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