Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  consistent

 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 数量 是 命题 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 16927-16927 一贯 的 2 数量 是 命题 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 16924-16924 一贯 是 二元谓语 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 16925-16925 一贯 是 对称关系 的 instance

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

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13849-13856 公式 的声明 has 合法 的语气 若且唯若 不存在 另一个 公式 这样 那个 另外 公式 的声明 has 法 的语气 和 那个 另外 公式 不 是 那个 公式 的 consistent
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2244-2252
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13861-13868
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29679-29691
No TPTP formula. May not be expressible in strict first order. Merge.kif 13179-13192


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