Sigma KB Term Intersection

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 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 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 51-62	AutonomousAgent offers 拍賣樣品在 Catalog Entity 是在 Catalog 子類 Entity and Physical 模態屬性 entity entity 例 entity and Entity 例 entity and Selling agent entity and AutonomousAgent 患者 entity and entity and 可能性
No TPTP formula. May not be expressible in strict first order.	Merge.kif 832-832	子類 Physical and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 846-846	子類 Object and Physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1304-1304	子類內容承載物理 and Physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1622-1622	子類 Process and Physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6121-6121	子類物理系統 and Physical
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 41-41	子類金融資產 and Physical

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