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

Formal Language: 



KB Term:  Term intersection
English Word: 

  True

Sigma KEE - True
True(true)accuracy, accurate, accurately, acquaintance, actual, actually, apodeictic, apodictic, aright, as_a_matter_of_fact, as_it_is, assumptive, authentic, case, consistency, conversance, conversancy, cope_with, correct, correctly, correctness, data_point, datum, de_facto, demonstrable, demonstrated, exact, existent, fact, factual, factuality, factually, factualness, familiarity, general, genuine, genuinely, genuineness, gospel, gospel_truth, historicalness, hold, home_truth, honest, in_fact, in_point_of_fact, inarguable, incontestable, incontestible, incontrovertible...

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3796-3796
No TPTP formula. May not be expressible in strict first order. Merge.kif 17053-17053
No TPTP formula. May not be expressible in strict first order. Merge.kif 17052-17052 True is an instance of truth value

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 17056-17056 False is the opposite of true
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59326-59326
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59325-59325
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59324-59324

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1837-1841
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 540-547
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17924-17929
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13004-13009
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 577-584
No TPTP formula. May not be expressible in strict first order. Law.kif 65-78
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14273-14275
No TPTP formula. May not be expressible in strict first order. Merge.kif 2839-2841
No TPTP formula. May not be expressible in strict first order. Merge.kif 17600-17606
No TPTP formula. May not be expressible in strict first order. Merge.kif 17612-17618


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