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 15761-15763
No TPTP formula. May not be expressible in strict first order. Merge.kif 15759-15759 The number 1 argument of consistent is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 15760-15760 The number 2 argument of consistent is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 15757-15757 consistent is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 15758-15758 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 16630-16630
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16629-16629
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16628-16628

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


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

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11487-11494 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 11499-11506
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27901-27913
No TPTP formula. May not be expressible in strict first order. Merge.kif 12227-12240


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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