price - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - price

price

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7739-7740
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7736-7736	域價錢, 1 and Physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7737-7737	域價錢, 2 and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7738-7738	域價錢, 3 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7735-7735	例價錢 and TernaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2039-2039
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2038-2038
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2037-2037
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1924-1924	子關係問價格 and 價錢
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1904-1904	子關係競標價格 and 價錢
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47282-47282
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47281-47281
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47280-47280

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3051-3062	金融工具金融工具Price and RealNumber 例協議 and 看漲期權金融工具是協議的 underlier 金融工具是對於 AutonomousAgent 的 price 測量金融工具Price and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency 測量 RealNumber and UnitOfMeasure 是協議的 strike 價錢少於金融工具Price and RealNumber AutonomousAgent 是協議的 out 資兂短缺
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3002-3013	金融工具金融工具Price and RealNumber 例協議 and 看漲期權金融工具是協議的 underlier 金融工具是對於 AutonomousAgent 的 price 測量金融工具Price and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency 測量 RealNumber and UnitOfMeasure 是協議的 strike 價錢少於 RealNumber and 金融工具Price AutonomousAgent 是協議的 in 金錢
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3034-3042	金融工具金融工具Price and CurrencyMeasure 例協議 and 選項金融工具是協議的 underlier 金融工具是對於 AutonomousAgent 的 price 金融工具Price CurrencyMeasure 是協議的 strike 價錢等於金融工具Price and CurrencyMeasure AutonomousAgent 是協議 at 的錢
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3015-3026	金融工具金融工具Price and RealNumber 例協議 and 放選項金融工具是協議的 underlier 金融工具是對於 AutonomousAgent 的 price 測量金融工具Price and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency 測量 RealNumber and UnitOfMeasure 是協議的 strike 價錢少於金融工具Price and RealNumber AutonomousAgent 是協議的 in 金錢
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3064-3075	金融工具金融工具Price and RealNumber 例協議 and 放選項金融工具是協議的 underlier 金融工具是對於 AutonomousAgent 的 price 測量金融工具Price and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency 測量 RealNumber and UnitOfMeasure 是協議的 strike 價錢少於 RealNumber and 金融工具Price AutonomousAgent 是協議的 out 資兂短缺
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3234-3250	例 Process and 打勾患者 Process and Physical 等於何時 Process and AutonomousAgent 例 UnitOfMeasure and UnitOfCurrency Physical 是對於 AutonomousAgent 的 price 測量 RealNumber and UnitOfMeasure Process AutonomousAgent and RealNumber 例 Process and 股市交易患者 Process and Physical 等於何時 Process and AutonomousAgent 短暫相遇 AutonomousAgent and AutonomousAgent Physical 是對於 AutonomousAgent 的 price 測量 RealNumber and UnitOfMeasure 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Dining.kif 189-201	例 Catalog and SetMenu AutonomousAgent offers 拍賣樣品在 Catalog Entity 是在 Catalog 子類 Entity and 已準備食物例 Physical and Class 例 Physical and Entity 等於 Physical and Physical Physical 是對於 AutonomousAgent1 的 price CurrencyMeasure Physical 是對於 AutonomousAgent2 的 price CurrencyMeasure 等於 CurrencyMeasure and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3212-3228	例 Process and 上揚患者 Process and Physical 等於何時 Process and AutonomousAgent 例 UnitOfMeasure and UnitOfCurrency Physical 是對於 AutonomousAgent 的 price 測量 RealNumber and UnitOfMeasure Process AutonomousAgent and RealNumber 例 Process and 股市交易患者 Process and Physical 等於何時 Process and AutonomousAgent 短暫相遇 AutonomousAgent and AutonomousAgent Physical 是對於 AutonomousAgent 的 price 測量 RealNumber and UnitOfMeasure 少於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2669-2685	屬性協議 and 選項 CognitiveAgent holds 協議 CurrencyMeasure 是協議的 strike 價錢協議有 expiration TimeInterval 金融工具是對於 AutonomousAgent 的 price CurrencyMeasure 例 AutonomousAgent and TimeInterval 之前結束 AutonomousAgent and 開始 TimeInterval 金融工具是協議的 underlier 堅持正確卡帕 SymbolicString and 例 SymbolicString and Selling 患者 SymbolicString and 金融工具時間 SymbolicString and AutonomousAgent 測量金融工具 and 測量 100 and ShareUnit agent SymbolicString and CognitiveAgent and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2623-2639	屬性協議 and 選項 CognitiveAgent holds 協議 CurrencyMeasure 是協議的 strike 價錢協議有 expiration TimeInterval 金融工具是協議的 underlier 金融工具是對於 AutonomousAgent 的 price CurrencyMeasure 例 AutonomousAgent and TimeInterval 之前結束 AutonomousAgent and 開始 TimeInterval 堅持正確卡帕 SymbolicString and 例 SymbolicString and Buying 患者 SymbolicString and 金融工具時間 SymbolicString and AutonomousAgent 測量金融工具 and 測量 100 and ShareUnit agent SymbolicString and CognitiveAgent and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2687-2703	屬性協議 and 選項 CognitiveAgent sells 協議 CurrencyMeasure 是協議的 strike 價錢協議有 expiration TimeInterval 金融工具是對於 AutonomousAgent 的 price CurrencyMeasure 例 AutonomousAgent and TimeInterval 之前結束 AutonomousAgent and 開始 TimeInterval 金融工具是協議的 underlier 持有義務卡帕 SymbolicString and 例 SymbolicString and Buying 患者 SymbolicString and 金融工具時間 SymbolicString and AutonomousAgent 測量金融工具 and 測量 100 and ShareUnit agent SymbolicString and CognitiveAgent and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2641-2659	屬性協議 and 選項 CognitiveAgent sells 協議 CurrencyMeasure 是協議的 strike 價錢協議有 expiration TimeInterval 金融工具是協議的 underlier 金融工具是對於 AutonomousAgent 的 price CurrencyMeasure 例 AutonomousAgent and TimeInterval 之前結束 AutonomousAgent and 開始 TimeInterval 持有義務卡帕 SymbolicString and 例 SymbolicString and Selling 患者 SymbolicString and 金融工具時間 SymbolicString and AutonomousAgent 測量金融工具 and 測量 100 and ShareUnit agent SymbolicString and entity and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7742-7749	Physical 是對於 AutonomousAgent 的 price CurrencyMeasure FinancialTransaction 例 FinancialTransaction and Buying agent FinancialTransaction and AutonomousAgent 患者 FinancialTransaction and Physical CurrencyMeasure 是 FinancialTransaction 的 transaction 總額

consequent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 841-862	Physical 是 free 對於顧客出租 HotelFunctionRoom 例 Entity and HotelFunctionRoom 元件 Entity and 屬性 AutonomousAgent 例 Process and 租患者 Process and Entity 目的地 Process and CognitiveAgent 例 Object and Physical 擁有 AutonomousAgent and Object AutonomousAgent 是 CognitiveAgent 的 customer 例 Object and Process agent Object and CognitiveAgent 體驗者 Object and CognitiveAgent 擁有 AutonomousAgent and Object 例 Object and Object 使用 Object and CognitiveAgent Object 是對於 AutonomousAgent 的 price 測量 0 and 美國美元
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 546-561	Physical 的使用是對於 AutonomousAgent 免費例 Process and Physical AutonomousAgent 是 CognitiveAgent 的 customer 例 Process and Process agent Process and CognitiveAgent 體驗者 Process and CognitiveAgent 擁有 AutonomousAgent and Process 例 Process and Object 使用 Process and CognitiveAgent Process 是對於 AutonomousAgent 的 price 測量 0 and 美國美元
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 346-361	Physical 的使用對於 HotelUnit 是免費子類 Physical and Object 例暫住 and HotelUnit Human stays 在暫住元件暫住 and 屬性 AutonomousAgent 例 Object and Physical 位於 Object and 暫住例 Process and Process agent Process and Human 患者 Process and Object 儀器 Process and Object 資源 Process and Object Object 是對於 Human 的 price 測量 0 and 美國美元
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 364-378	Physical 的使用對於 HotelUnit 是免費子類 Physical and Process 例暫住 and HotelUnit Human stays 在暫住元件暫住 and 屬性 AutonomousAgent 患者 Process and Human 例 Process and Physical 例 Process and Physical 子過程 Process and Process 位於 Process and 暫住 Process 是對於 Human 的 price 測量 0.0 and 美國美元
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3234-3250	例 Process and 打勾患者 Process and Physical 等於何時 Process and AutonomousAgent 例 UnitOfMeasure and UnitOfCurrency Physical 是對於 AutonomousAgent 的 price 測量 RealNumber and UnitOfMeasure Process AutonomousAgent and RealNumber 例 Process and 股市交易患者 Process and Physical 等於何時 Process and AutonomousAgent 短暫相遇 AutonomousAgent and AutonomousAgent Physical 是對於 AutonomousAgent 的 price 測量 RealNumber and UnitOfMeasure 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7848-7862	例 Process and 廉價出售患者 Process and Entity 例 Entity and Object RealNumber RealNumber, entity, entity and Entity 例 Entity and UnitOfCurrency 持有期間不久的過去何時 Process and Entity 是對於 entity 的 price 測量 RealNumber and Entity 持有期間何時 Process and Entity 是對於 entity 的 price 測量 RealNumber and Entity 少於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3212-3228	例 Process and 上揚患者 Process and Physical 等於何時 Process and AutonomousAgent 例 UnitOfMeasure and UnitOfCurrency Physical 是對於 AutonomousAgent 的 price 測量 RealNumber and UnitOfMeasure Process AutonomousAgent and RealNumber 例 Process and 股市交易患者 Process and Physical 等於何時 Process and AutonomousAgent 短暫相遇 AutonomousAgent and AutonomousAgent Physical 是對於 AutonomousAgent 的 price 測量 RealNumber and UnitOfMeasure 少於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 871-897	HotelFunctionRoom 的承租人能 pay 去使用 Physical 例 Entity and HotelFunctionRoom 元件 Entity and 屬性 AutonomousAgent 例 Process and 租患者 Process and Entity 目的地 Process and CognitiveAgent 例 Object and Physical 擁有 AutonomousAgent and Object AutonomousAgent 是 CognitiveAgent 的 customer 例 Object and Process agent Object and CognitiveAgent 體驗者 Object and CognitiveAgent 擁有 AutonomousAgent and Object 例 Object and Object 使用 Object and CognitiveAgent RealNumber UnitOfMeasure Object 是對於 AutonomousAgent 的 price 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency 比較多 RealNumber and 0
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 569-589	AutonomousAgent 的承租人能 pay 去使用 Physical 例 Process and Physical AutonomousAgent 是 CognitiveAgent 的 customer 例 Process and Process agent Process and CognitiveAgent 體驗者 Process and CognitiveAgent 擁有 AutonomousAgent and Process 例 Process and Object 使用 Process and CognitiveAgent RealNumber UnitOfMeasure Process 是對於 AutonomousAgent 的 price 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency 比較多 RealNumber and 0
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 396-417	HotelUnit 的承租人能 pay 去使用 Physical 子類 Physical and Object 例暫住 and HotelUnit Human stays 在暫住元件暫住 and 屬性 AutonomousAgent 例 Object and Physical 位於 Object and 暫住例 Process and Process agent Process and Human 位於 Process and 暫住患者 Process and Object 儀器 Process and Object 資源 Process and Object ProcessRICE UnitOfMeasure Object 是對於 Human 的 price 測量 ProcessRICE and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency 比較多 ProcessRICE and 0
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 419-438	HotelUnit 的承租人能 pay 去使用 Physical 子類 Physical and Process 例暫住 and HotelUnit Human stays 在暫住元件暫住 and 屬性 AutonomousAgent 患者 Process and Human 例 Process and Physical 例 Process and Physical 子過程 Process and Process 位於 Process and 暫住 ProcessRICE UnitOfMeasure Process 是對於 Human 的 price 測量 ProcessRICE and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency 比較多 ProcessRICE and 0
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1727-1739	HotelMiniBar 是 amenity 在 HotelUnit Object Collection and AutonomousAgent 例 Object and HotelUnit 元件 Object and 屬性 AutonomousAgent 例 Collection and HotelMiniBar 位於 Collection and Object Physical 會員 Physical and Collection CurrencyMeasure Physical 是對於 AutonomousAgent 的 price CurrencyMeasure

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