TreeView Knowledge Base Browser - Offering

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Offering

Offering(提供)

more pictures...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3276-3278
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13257-13261
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11533-11533
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11532-11532
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11538-11538
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10159-10159
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11539-11539
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11534-11534
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11536-11536
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11537-11537
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13255-13255	子類提供 and Committing

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7843-7843	子類廉價出售 and 提供
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7826-7826	子類提供出售 and 提供
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7840-7840	子類提供購買 and 提供
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10715-10715	子類 Volunteering and 提供
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41662-41662
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41661-41661
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41660-41660

consequent

No TPTP formula. May not be expressible in strict first order.	Law.kif 526-540	例 Process and IntentionalProcess 結果 Process and 內容承載物理內容承載物理是協議的 record attribute 協議 and 合法 Process Process, Process and Process 例 Process and 提供例 Process and ReachingAgreement 參照 Process and 協議參照 Process and 協議 agent Process and Process agent Process and Process 早期何時 Process and 何時 Process
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1933-1943	AutonomousAgent 為了 Object asks CurrencyMeasure Process 例 Process and 提供患者 Process and entity 例 entity and Selling agent entity and AutonomousAgent 患者 entity and Object CurrencyMeasure 是 entity 的 transaction 總額
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1912-1922	AutonomousAgent bids CurrencyMeasure 對於 Object Process 例 Process and 提供患者 Process and entity 例 entity and Buying agent entity and AutonomousAgent 患者 entity and Object CurrencyMeasure 是 entity 的 transaction 總額

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