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
-------------------------


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

chinese_format.kif 3919-3920
s__documentation(s__Unlikely,s__EnglishLanguage,'"The ProbabilityAttribute of being improbable, i.e. more likely than not to be False."')

Merge.kif 16827-16828
s__instance(s__ProbabilityAttribute,s__SetOrClass)

s__instance(s__Unlikely,s__ProbabilityAttribute)

Merge.kif 16826-16826 Unlikely is an instance of probability attribute

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


s__contraryAttribute__2(s__Likely,s__Unlikely)

Merge.kif 16818-16818 Likely is the opposite of unlikely
s__termFormat(s__ChineseLanguage,s__Unlikely,'"较不可能"')

domainEnglishFormat.kif 60443-60443
s__termFormat(s__ChineseTraditionalLanguage,s__Unlikely,'"較不可能"')

domainEnglishFormat.kif 60442-60442
s__termFormat(s__EnglishLanguage,s__Unlikely,'"unlikely"')

domainEnglishFormat.kif 60441-60441

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16830-16832

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12738-12747
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12749-12760
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12688-12698
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12768-12777
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12779-12788
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12707-12716
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12718-12729
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12669-12678
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. Mid-level-ontology.kif 9146-9167
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 28905-28911
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28913-28919
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 12563-12572
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12632-12641
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12598-12607
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12546-12554
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12616-12624
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12581-12589
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