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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - truth
truth

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3798-3799
No TPTP formula. May not be expressible in strict first order. Merge.kif 17167-17168
No TPTP formula. May not be expressible in strict first order. Merge.kif 17165-17165 The number 1 argument of truth is an instance of sentence
No TPTP formula. May not be expressible in strict first order. Merge.kif 17166-17166 The number 2 argument of truth is an instance of truth value
No TPTP formula. May not be expressible in strict first order. Merge.kif 17164-17164 truth is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 17163-17163 truth is a subrelation of property

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 197-197
No TPTP formula. May not be expressible in strict first order. english_format.kif 198-198
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1947-1947
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 198-198
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59344-59344
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59343-59343
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59342-59342

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2307-2311
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2317-2321
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 549-556
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. Medicine.kif 3450-3461
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7366-7376
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19468-19473
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4201-4216
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14308-14313
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 915-922
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. UXExperimentalTerms.kif 586-593
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 20919-20925
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15617-15619
No TPTP formula. May not be expressible in strict first order. Merge.kif 13181-13186
No TPTP formula. May not be expressible in strict first order. Merge.kif 2850-2852
No TPTP formula. May not be expressible in strict first order. Merge.kif 17704-17710
No TPTP formula. May not be expressible in strict first order. Merge.kif 17716-17722


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