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 15776-15778
No TPTP formula. May not be expressible in strict first order. Merge.kif 15774-15774 The number 1 argument of consistent is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 15775-15775 The number 2 argument of consistent is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 15772-15772 consistent is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 15773-15773 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 16689-16689
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16688-16688
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16687-16687

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


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

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10631-10638 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 10643-10650
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25925-25937
No TPTP formula. May not be expressible in strict first order. Merge.kif 12242-12255


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