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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Unlikely
Unlikelychancy, 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
-------------------------


s__documentation(s__Unlikely,s__ChineseLanguage,'这是表示不可能发生的 ProbabilityAttribute,即是 即是有可能是 False 的机会比不可能的大。')

Merge.kif 17903-17904
s__documentation(s__Unlikely,s__EnglishLanguage,'The ProbabilityAttribute of being improbable, i.e. more likely than not to be False.')

Merge.kif 17901-17902
s__instance(s__Unlikely,s__ProbabilityAttribute)

Merge.kif 17900-17900

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


s__contraryAttribute_2(s__Likely,s__Unlikely)

Merge.kif 17890-17890
s__termFormat(s__EnglishLanguage,s__Unlikely,'unlikely')

domainEnglishFormat.kif 10504-10504

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17906-17908

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11131-11140
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11141-11152
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11086-11094
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11160-11169
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11171-11180
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11102-11111
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11112-11123
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11069-11077
No TPTP formula. May not be expressible in strict first order. LinkedInDegrees.kif 115-129
No TPTP formula. May not be expressible in strict first order. Geography.kif 6878-6890
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27943-27949
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27951-27957
No TPTP formula. May not be expressible in strict first order. Hotel.kif 636-644
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10976-10983
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11036-11043
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11006-11013
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10961-10968
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11021-11028
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10991-10998
No TPTP formula. May not be expressible in strict first order. Law.kif 462-470


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners