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 15727-15729
No TPTP formula. May not be expressible in strict first order. Merge.kif 15725-15725 The number 1 argument of consistent is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 15726-15726 The number 2 argument of consistent is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 15723-15723 consistent is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 15724-15724 consistent is an instance of symmetric relation

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 16621-16621
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16620-16620
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16619-16619

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11797-11811

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11485-11492 The statement a formula has the modal force of legal if and only if there doesn't exist another formula such that the statement the other formula has the modal force of law and the other formula is not a consistent of the formula
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2224-2232
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11497-11504
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27893-27905
No TPTP formula. May not be expressible in strict first order. Merge.kif 12207-12220


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