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 17713-17714
No TPTP formula. May not be expressible in strict first order. Merge.kif 17712-17712 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 17700-17700 Likely is the opposite of unlikely
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60470-60470 Likely is the opposite of unlikely
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60469-60469 Likely is the opposite of unlikely
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60468-60468 Likely is the opposite of unlikely

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17716-17722

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14875-14884
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14886-14897
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14825-14836
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14905-14914
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14916-14925
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14844-14853
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14855-14866
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14806-14816
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2785-2797
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7828-7840
No TPTP formula. May not be expressible in strict first order. Weather.kif 2322-2332
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11103-11124
No TPTP formula. May not be expressible in strict first order. Geography.kif 7834-7846
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31739-31745
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31747-31753
No TPTP formula. May not be expressible in strict first order. Hotel.kif 671-679
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14704-14713
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14770-14779
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14737-14746
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14688-14696
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14754-14762
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14721-14729
No TPTP formula. May not be expressible in strict first order. Law.kif 428-436


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