TreeView Knowledge Base Browser - askPrice

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - askPrice

askPrice

appearance as argument number 1

(documentation askPrice EnglishLanguage "(askPrice ?Obj ?Money ?Agent) means that ?Agent offers to sell ?Obj for the amount of ?Money.")	FinancialOntology.kif 1930-1931
(domain askPrice 1 Object)	FinancialOntology.kif 1926-1926	askPrice の数値 1 引数はオブジェクトの instance では %n
(domain askPrice 2 CurrencyMeasure)	FinancialOntology.kif 1927-1927	askPrice の数値 2 引数は通貨測定の instance では %n
(domain askPrice 3 AutonomousAgent)	FinancialOntology.kif 1928-1928	askPrice の数値 3 引数は AutonomousAgent の instance では %n
(instance askPrice TernaryRelation)	FinancialOntology.kif 1925-1925	askPrice は三進法関係の instance では %n
(subrelation askPrice price)	FinancialOntology.kif 1924-1924	askPrice は price の subrelation では %n

appearance as argument number 2

(format ChineseLanguage askPrice "%3 为了 %1 asks %2 ")	domainEnglishFormat.kif 2822-2822
(format ChineseTraditionalLanguage askPrice "%3 為了 %1 asks %2 ")	domainEnglishFormat.kif 2821-2821
(format EnglishLanguage askPrice "%3 asks for %2 for %1")	domainEnglishFormat.kif 2820-2820
(termFormat ChineseLanguage askPrice "问价格")	domainEnglishFormat.kif 8688-8688
(termFormat ChineseTraditionalLanguage askPrice "問價格")	domainEnglishFormat.kif 8687-8687
(termFormat EnglishLanguage askPrice "ask price")	domainEnglishFormat.kif 8686-8686

antecedent

(=> (and (attribute ?Order LimitOrder) (partyToAgreement ?Order ?Broker) (attribute ?Broker Broker) (orderFor ?Order Buying ?Object) (measure ?Object ?Quantity) (limitPrice ?Order (MeasureFn ?LimitPrice ?U)) (instance ?U UnitOfCurrency) (askPrice ?Object (MeasureFn ?Price ?U) ?Time) (lessThanOrEqualTo ?Price ?LimitPrice)) (holdsObligation (KappaFn ?Buy (and (instance ?Buy Buying) (patient ?Buy ?Object) (measure ?Object ?Quantity) (equal (WhenFn ?Buy) ?BuyingTime) (overlapsTemporally ?Time ?BuyingTime))) ?Broker))	FinancialOntology.kif 2008-2029	LimitOrder は金融取引の attribute では %n partyToAgreement 金融取引 and Agreement Broker は Agreement の attribute では %n orderFor 金融取引, 購買 and Security Security の measure は物理量では %n limitPrice 金融取引 and 実数の測定単位(s) 測定単位は UnitOfCurrency の instance では %n askPrice Security, 実数の測定単位(s) and AutonomousAgent 実数は実数より less または同等では %n Agreement はタイプエンティティー class のタスクを実行する obliged %n
(=> (and (instance ?Stock PennyStock) (askPrice ?Stock (MeasureFn ?Price UnitedStatesDollar) ?Date)) (lessThan ?Price 5))	FinancialOntology.kif 2208-2212	オブジェクトは PennyStock の instance では %n askPrice オブジェクト, 実数の UnitedStatesDollar(s) and AutonomousAgent 実数は 5 より less では %n
(=> (askPrice ?Obj ?Money ?Agent) (exists (?Offering) (and (instance ?Offering Offering) (patient ?Offering (exists (?Selling) (and (instance ?Selling Selling) (agent ?Selling ?Agent) (patient ?Selling ?Obj) (transactionAmount ?Selling ?Money)))))))	FinancialOntology.kif 1933-1943	askPrice オブジェクト, 通貨測定 and AutonomousAgent 工程工程は Offering の instance では %n エンティティーエンティティーは販売の instance では %n AutonomousAgent はエンティティーの agent では %n オブジェクトはエンティティーの patient では %n transactionAmount エンティティー and 通貨測定は工程の patient では %n

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