unitPrice - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - unitPrice

unitPrice

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Catalog.kif 391-396
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 398-398	域 unitPrice, 2 and FunctionQuantity
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 399-399	域 unitPrice, 3 and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 400-400	域 unitPrice, 4 and PricingScheme
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 397-397	域子類 unitPrice, 1 and Entity
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 390-390	例 unitPrice and QuaternaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4878-4878
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4877-4877
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4876-4876
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65967-65967

antecedent

No TPTP formula. May not be expressible in strict first order.	Catalog.kif 337-352	例 Process and Buying 患者 Process and Entity 起源 Process and CognitiveAgent Entity 的 price 從 CognitiveAgent 根據 PricingScheme 是 CurrencyMeasure unit price 已收費 CognitiveAgent 在 PricingScheme 底下對於 FunctionQuantity 是 Entity 子類 Entity and Physical 立即實例 Entity and Entity 付款是 valid payment 在 PricingScheme 底下模態屬性付款MENT 例付款MENT and 付款子過程付款MENT and Process and 容易
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 354-370	Entity 的 price 從 CognitiveAgent 根據 PricingScheme 是 CurrencyMeasure unit price 已收費 CognitiveAgent 在 PricingScheme 底下對於 FunctionQuantity 是 Entity 子類 Entity and Physical 立即實例 Entity and Entity PricingScheme 是 valid 對於 AutonomousAgent 例 Entity and AutonomousAgent 模態屬性例 entity and Buying agent entity and Entity 起源 entity and CognitiveAgent 患者 entity and Entity CurrencyMeasure 是 entity 的 transaction 總額 and 容易
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 372-387	Entity 的 price 從 CognitiveAgent 根據 PricingScheme 是 CurrencyMeasure unit price 已收費 CognitiveAgent 在 PricingScheme 底下對於 FunctionQuantity 是 Entity 子類 Entity and Physical 立即實例 Entity and Entity PricingScheme 是 valid during TimeInterval 持有期間 TimeInterval and 模態屬性例 entity and Selling agent entity and CognitiveAgent 患者 entity and Entity CurrencyMeasure 是 entity 的 transaction 總額 and 容易
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 402-407	unit price 已收費 CognitiveAgent 在 PricingScheme 底下對於 FunctionQuantity 是 Entity PhysicalQuantity RealNumber and UnitOfMeasure 等於 FunctionQuantity and 測量 RealNumber and UnitOfMeasure 是 PhysicalQuantity 的 per 例 PhysicalQuantity 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