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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Likely
Likely(likely)anticipated, apt, awaited, belike, bound, certain, destined, due, expectable, expected, foreordained, hoped-for, in_all_likelihood, in_all_probability, in_for, liable, likely, matter-of-course, predestinate, predestined, presumptive, probable, probably, sure, verisimilar

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


s__contraryAttribute__2(s__Likely,s__Unlikely)

Merge.kif 16289-16289 Likely is the opposite of unlikely
s__documentation(s__Likely,s__ChineseLanguage,'"这是表示有可能发生的 ProbabilityAttribute,即是有可能是 True 的机会比不可能的大。"')

chinese_format.kif 3917-3918
s__documentation(s__Likely,s__EnglishLanguage,'"The ProbabilityAttribute of being probable, i.e. more likely than not to be True."')

Merge.kif 16290-16291
s__instance(s__ProbabilityAttribute,s__SetOrClass)

s__instance(s__Likely,s__ProbabilityAttribute)

Merge.kif 16288-16288 Likely is an instance of probability attribute

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


s__termFormat(s__ChineseLanguage,s__Likely,'"容易"')

domainEnglishFormat.kif 34291-34291
s__termFormat(s__ChineseTraditionalLanguage,s__Likely,'"容易"')

domainEnglishFormat.kif 34290-34290
s__termFormat(s__EnglishLanguage,s__Likely,'"likely"')

domainEnglishFormat.kif 34289-34289

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16293-16295

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11688-11698
No TPTP formula. May not be expressible in strict first order. Music.kif 313-319
No TPTP formula. May not be expressible in strict first order. Merge.kif 17039-17044
No TPTP formula. May not be expressible in strict first order. Merge.kif 17024-17029
No TPTP formula. May not be expressible in strict first order. Merge.kif 17054-17059
No TPTP formula. May not be expressible in strict first order. Cars.kif 2572-2588
No TPTP formula. May not be expressible in strict first order. emotion.kif 161-172
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3219-3233
No TPTP formula. May not be expressible in strict first order. Cars.kif 2554-2570
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28807-28828
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4879-4893
No TPTP formula. May not be expressible in strict first order. emotion.kif 1849-1862
No TPTP formula. May not be expressible in strict first order. Catalog.kif 322-337
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4558-4575
No TPTP formula. May not be expressible in strict first order. Cars.kif 893-906
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2600-2620
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2627-2643
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2650-2665
No TPTP formula. May not be expressible in strict first order. emotion.kif 1614-1622
No TPTP formula. May not be expressible in strict first order. Dining.kif 1174-1193
No TPTP formula. May not be expressible in strict first order. emotion.kif 1594-1602
No TPTP formula. May not be expressible in strict first order. emotion.kif 1582-1590
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4112-4120
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4135-4145
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2441-2450

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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