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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - False
False(false)bill_of_goods, bubble, canard, contrary_to_fact, counterfactual, counterfactuality, deceit, deception, delusion, delusive, deviation, erroneous, erroneous_belief, erroneously, erroneousness, error, fable, fabrication, fallacious, fallacy, false, false_belief, falsehood, falsely, falseness, falsity, fanciful, fancy, fantastic, fantastical, fantasy, faultily, faulty, fib, fiction, hallucination, hallucinatory, humbug, ignis_fatuus, illusion, illusional, illusionary, illusive, illusory, imaginary, inaccurate, inaccurately, incorrect, incorrectly, incorrectness...

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17160-17160 False is the opposite of true
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3797-3797 False is the opposite of true
No TPTP formula. May not be expressible in strict first order. Merge.kif 17161-17161 False is the opposite of true
No TPTP formula. May not be expressible in strict first order. Merge.kif 17159-17159 False is an instance of truth value

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23203-23203
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23202-23202
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23201-23201

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


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. Mid-level-ontology.kif 7366-7376
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 915-922
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. Mid-level-ontology.kif 20919-20925
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 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