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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Unlikely
Unlikely(unlikely)chancy, contingent, farfetched, flukey, fluky, iffy, implausible, impossible, improbable, inconceivable, last, mathematical, out_of_the_blue, out_of_the_question, outside, remote, unanticipated, unbelievable, uncertain, unconvincing, unexpected, unforeseen, unhoped, unhoped-for, unimaginable, unlikely, unlooked-for, unthought, unthought-of, upset

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3919-3920
No TPTP formula. May not be expressible in strict first order. Merge.kif 16377-16378
No TPTP formula. May not be expressible in strict first order. Merge.kif 16376-16376 Unlikely is an instance of probability attribute

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16368-16368 Likely is the opposite of unlikely
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60442-60442
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60441-60441
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60440-60440

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16380-16382

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10335-10344
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10346-10357
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10285-10295
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10365-10374
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10376-10385
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10304-10313
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10315-10326
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10266-10275
No TPTP formula. May not be expressible in strict first order. Weather.kif 1597-1607
No TPTP formula. May not be expressible in strict first order. Geography.kif 7055-7067
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26081-26087
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26089-26095
No TPTP formula. May not be expressible in strict first order. Hotel.kif 646-654
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10160-10169
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10229-10238
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10195-10204
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10143-10151
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10213-10221
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10178-10186
No TPTP formula. May not be expressible in strict first order. Law.kif 466-474


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