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 17081-17083
No TPTP formula. May not be expressible in strict first order. Merge.kif 17079-17079 The number 1 argument of consistent is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 17080-17080 The number 2 argument of consistent is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 17077-17077 consistent is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 17078-17078 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 16707-16707
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16706-16706
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16705-16705

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


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

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15221-15228 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 2244-2252
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15233-15240
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31610-31622
No TPTP formula. May not be expressible in strict first order. Merge.kif 13311-13324


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