TreeView Knowledge Base Browser - Committing

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Committing

Committing

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3274-3275
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13244-13246
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13243-13243	子類 Committing and 語言交流

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21507-21507	子類契約終止 and Committing
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13255-13255	子類提供 and Committing
No TPTP formula. May not be expressible in strict first order.	Dining.kif 756-756	子類 Reserving and Committing
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3117-3117	子類簽署協議 and Committing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 855-855	子類危險的 and Committing
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1203-1203
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1623-1623
No TPTP formula. May not be expressible in strict first order.	french_format.kif 881-881
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 414-414
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 417-417
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2565-2565
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 833-833
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 419-419
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 453-453
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 902-902
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 418-418

appearance as argument number 5

No TPTP formula. May not be expressible in strict first order.

Merge.kif 13058-13058

劃分 Communication, Stating, 假如, Directing, Committing, Expressing and Declaring

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3001-3009	例 Entity and 國際協議例 Process and Committing 代表 Process and Entity AutonomousAgent agent Process and AutonomousAgent 例 AutonomousAgent and Nation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13248-13253	例 Process and Committing 患者 Process and Formula 例 Formula and Formula 模態屬性 Formula and 諾言

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 706-713	TimePosition 是 Proposition 的 agreement 採用日期 Process TimePosition 例 Process and Committing 例 TimePosition and TimePosition 患者 Process and Proposition 時間 Process and TimePosition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13964-13969	例 Entity and 協議 Entity 例 Entity and Committing 代表 Entity and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19713-19719	例 Physical and 談判有目的 Physical and entity 例 entity and Committing 子過程 entity and Physical 飾面何時 entity and 何時 Physical
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3039-3049	例 Entity and 條約文件 Process AutonomousAgent and AutonomousAgent 例 Process and Committing 患者 Process and Entity 例 AutonomousAgent and GeopoliticalArea agent Process and AutonomousAgent 例 AutonomousAgent and GeopoliticalArea agent Process and AutonomousAgent 等於 AutonomousAgent and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14000-14006	協議是 CognitiveAgent 的 party 協議 Process 例 Process and Committing agent Process and CognitiveAgent 患者 Process and 協議

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