monetaryValue - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - monetaryValue

monetaryValue

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2668-2669
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7808-7810
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1388-1389
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7805-7805	域貨幣價值, 1 and Physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7806-7806	域貨幣價值, 2 and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7803-7803	例貨幣價值 and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7804-7804	例貨幣價值 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7802-7802	例貨幣價值 and SingleValuedRelation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 627-627
No TPTP formula. May not be expressible in strict first order.	english_format.kif 630-630
No TPTP formula. May not be expressible in strict first order.	french_format.kif 378-378
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 193-193
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2112-2112
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 330-330
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 387-387
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 822-822
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 231-231
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 400-400
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 420-420
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 371-371
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1483-1483	子關係評估價值 and 貨幣價值
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3476-3476	子關係最終價格 and 貨幣價值
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 628-628
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38354-38354
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38353-38353
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 372-372

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 487-499	agent Process and AutonomousAgent 起源 Process and Object 患者 Process and Physical 貨幣價值 Physical and CurrencyMeasure FinancialTransaction 子過程 FinancialTransaction and Process 例 FinancialTransaction and 付款 CurrencyMeasure 是 FinancialTransaction 的 transaction 總額起源 FinancialTransaction and AutonomousAgent 目的地 FinancialTransaction and Object
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 818-828	測量 RealNumber and UnitOfMeasure 是貸款的 down 費用 Object 是給貸款購買的 loan 貨幣價值 Object and 測量 RealNumber and UnitOfMeasure 等於 RealNumber and 減法 RealNumber and RealNumber 測量 RealNumber and UnitOfMeasure 是貸款的 original 金額
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 340-351	例 Process and 存款支票患者 Process and 校驗例校驗 and 校驗金融賬戶是校驗的 check 帳戶貨幣價值校驗 and CurrencyMeasure FinancialTransaction 例 FinancialTransaction and 存款目的地 FinancialTransaction and 金融賬戶的 currency CurrencyMeasure 是 FinancialTransaction 的 transaction 總額
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 104-118	貨幣價值校驗 and CurrencyMeasure 金融賬戶是校驗的 check 帳戶例 Process and 處理檢查患者 Process and 校驗等於何時 Process and ProcessTime FinancialTransaction FinancialTransactionTime 例 FinancialTransaction and 退出儀器 FinancialTransaction and 校驗等於何時 FinancialTransaction and FinancialTransactionTime 短暫相遇 ProcessTime and FinancialTransactionTime CurrencyMeasure 是 FinancialTransaction 的 transaction 總額起源 FinancialTransaction and 金融賬戶
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 120-135	貨幣價值 Object and CurrencyMeasure 例 Process and 處理檢查患者 Process and Object 目的地 Process and 金融賬戶的 currency 例金融賬戶 and 金融賬戶等於何時 Process and ProcessTime FinancialTransaction FinancialTransactionTime 例 FinancialTransaction and 存款儀器 FinancialTransaction and Object 等於何時 FinancialTransaction and FinancialTransactionTime 短暫相遇 ProcessTime and FinancialTransactionTime CurrencyMeasure 是 FinancialTransaction 的 transaction 總額目的地 FinancialTransaction and 金融賬戶的 currency
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7829-7833	貨幣價值屬性 AutonomousAgent and CurrencyMeasure 等於財富 AutonomousAgent and CurrencyMeasure

consequent

No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 204-223	attribute AutonomousAgent and 穆斯林等於財富 AutonomousAgent and CurrencyMeasure 模態屬性 entity entity, entity, entity and entity 例 entity and 天課例 entity and 年期間 entity and 何時 AutonomousAgent 持有期間 entity and attribute AutonomousAgent and 完全成型 agent entity and AutonomousAgent 患者 entity and entity 貨幣價值 entity and 測量 entity and entity 例 entity and UnitOfCurrency 比較多 entity and 乘法 CurrencyMeasure and 0.025 and 義務
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16199-16211	例 Entity and 法律獎勵參照 Entity and Process 例 Process and LegalAction agent Process and CognitiveAgent 賦予權利 entity entity and entity 例 entity and Getting 體驗者 entity and CognitiveAgent 患者 entity and entity 貨幣價值 entity and entity, Entity and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23827-23844	例 Process and 保存患者 Process and Object agent Process and AutonomousAgent RealNumber RealNumber and Entity 例 Entity and UnitOfCurrency 持有期間開始何時 Process and 貨幣價值 Object and 測量 RealNumber and Entity 持有期間結束何時 Process and 貨幣價值 Object and 測量 RealNumber and Entity 擁有 AutonomousAgent and Object 少於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7823-7827	等於財富 AutonomousAgent and CurrencyMeasure 貨幣價值屬性 AutonomousAgent and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23855-23858	AutonomousAgent 有 asset Object CurrencyMeasure 貨幣價值 Object and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2974-2986	每個東西的 value 由 AutonomousAgent 購買的對於 Organization 在期間 TimeInterval 是 CurrencyMeasure 貨幣價值 Physical and CurrencyMeasure 例 Physical and 卡帕 SymbolicString and 例 entity and Buying 例 entity and SymbolicString agent entity and AutonomousAgent 患者 entity and entity 患者 entity and Organization 期間 entity and TimeInterval
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2998-3010	grossMerchandiseSoldInPeriod AutonomousAgent, Organization, CurrencyMeasure and TimeInterval 貨幣價值 Physical and CurrencyMeasure 例 Physical and 卡帕 SymbolicString and 例 entity and Selling 例 entity and SymbolicString agent entity and AutonomousAgent 患者 entity and entity 患者 entity and Organization 期間 entity and TimeInterval
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 47-50	例 Physical and 金融資產 CurrencyMeasure 貨幣價值 Physical and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15676-15679	例 Physical and 貨幣 CurrencyMeasure 貨幣價值 Physical and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3481-3484	例 Physical and 貨幣 CurrencyMeasure 貨幣價值 Physical and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 94-97	例 Physical and 校驗 CurrencyMeasure 貨幣價值 Physical and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2104-2124	例 Process and CurrencyExchangeService Entity entity, Entity, entity, AutonomousAgent, entity, entity, entity and entity agent Process and AutonomousAgent 等於 entity and entity 例 Entity and CurrencyMeasure 例 Entity and CurrencyMeasure 持有期間開始何時 Process and 貨幣價值 entity and Entity 擁有 AutonomousAgent and entity 等於 Entity and 測量 entity and entity 持有期間結束何時 Process and 貨幣價值 entity and Entity 擁有 AutonomousAgent and entity 擁有 AutonomousAgent and entity 等於 Entity and 測量 entity and entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11879-11884	CurrencyMeasure 是 FinancialTransaction 的 transaction 總額 Physical 患者 FinancialTransaction and Physical 貨幣價值 Physical and 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