TreeView Knowledge Base Browser - consistent

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - consistent

consistent

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3784-3785
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16928-16930
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16926-16926	域一貫, 1 and Proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16927-16927	域一貫, 2 and Proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16924-16924	例一貫 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16925-16925	例一貫 and SymmetricRelation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 536-536
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 535-535
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 534-534
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16698-16698
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16697-16697
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16696-16696

antecedent

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

Mid-level-ontology.kif 14148-14162

屬性協議 and 合同協議是 CognitiveAgent 的 party 協議協議是 CognitiveAgent 的 party 協議例 Process and IntentionalProcess agent Process and CognitiveAgent 實現 Process and Proposition 協議是 Proposition 的 consistent
模態屬性 entity 例 entity and LegalAction CognitiveAgent 是 plaintiff 在 entity CognitiveAgent 是在 entity 的 defendant and 可能性

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13849-13856	模態屬性 Formula and 合法 Formula 模態屬性 Formula and 法 Formula 是 Formula 的 consistent
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2244-2252	例 Process and 民政運作位於 Process and GeopoliticalArea 例 GeopoliticalArea and Nation 例 Proposition and GeopoliticalArea 的 regional 法律實現 Process and Proposition Proposition 是 Proposition 的 consistent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13861-13868	例 Process and 犯罪行為 Formula Proposition and Proposition 模態屬性 Formula and 法包含信息 Formula and Proposition 實現 Process and Proposition Proposition 是 Proposition 的 consistent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29679-29691	例 Process and Correcting Process Process, ProcessP and ProcessP 例 Process and 不同意子過程 Process and Process 例 Process and Stating 子過程 Process and Process 包含信息 Process and ProcessP 包含信息 Process and ProcessP 參照 ProcessP and ProcessP ProcessP 是 ProcessP 的 consistent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13179-13192	例 Process and 不同意 AutonomousAgent AutonomousAgent, Process, Process, Proposition and Proposition 子過程 Process and Process 子過程 Process and Process agent Process and AutonomousAgent agent Process and AutonomousAgent 等於 AutonomousAgent and AutonomousAgent 包含信息 Process and Proposition 包含信息 Process and Proposition Proposition 是 Proposition 的 consistent

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