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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - TruthValue
TruthValue(truth value)cogency, rigor, rigour, validity

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3794-3795
No TPTP formula. May not be expressible in strict first order. Merge.kif 17130-17131
No TPTP formula. May not be expressible in strict first order. Merge.kif 17129-17129 Truth value is a subclass of relational attribute

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17144-17144 False is an instance of truth value
No TPTP formula. May not be expressible in strict first order. Merge.kif 17141-17141 True is an instance of truth value
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1235-1235 True is an instance of truth value
No TPTP formula. May not be expressible in strict first order. english_format.kif 1691-1691 True is an instance of truth value
No TPTP formula. May not be expressible in strict first order. french_format.kif 913-913 True is an instance of truth value
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 446-446 True is an instance of truth value
No TPTP formula. May not be expressible in strict first order. terms-it.txt 449-449 True is an instance of truth value
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2597-2597 True is an instance of truth value
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 865-865 True is an instance of truth value
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 451-451 True is an instance of truth value
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 485-485 True is an instance of truth value
No TPTP formula. May not be expressible in strict first order. terms-de.txt 744-744 True is an instance of truth value
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 934-934 True is an instance of truth value
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 450-450 True is an instance of truth value

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 17151-17151 The number 2 argument of truth is an instance of truth value

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17133-17139


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