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 17942-17942 Likely is the opposite of unlikely
s__documentation(s__Likely,s__ChineseLanguage,'这是表示有可能发生的 ProbabilityAttribute,即是有可能是 True 的机会比不可能的大。')

Merge.kif 17945-17946
s__documentation(s__Likely,s__EnglishLanguage,'The ProbabilityAttribute of being probable, i.e. more likely than not to be True.')

Merge.kif 17943-17944
s__instance(s__ProbabilityAttribute,s__SetOrClass)

s__instance(s__Likely,s__ProbabilityAttribute)

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

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


s__termFormat(s__EnglishLanguage,s__Likely,'likely')

domainEnglishFormat.kif 6151-6151 "likely" is the printable form of likely in english language

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17948-17950

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11682-11692
No TPTP formula. May not be expressible in strict first order. Music.kif 319-325
No TPTP formula. May not be expressible in strict first order. Merge.kif 18835-18840
No TPTP formula. May not be expressible in strict first order. Merge.kif 18820-18825
No TPTP formula. May not be expressible in strict first order. Merge.kif 18850-18855
No TPTP formula. May not be expressible in strict first order. Cars.kif 2571-2584
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3049-3063
No TPTP formula. May not be expressible in strict first order. Cars.kif 2553-2569
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28798-28819
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4884-4898
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 4552-4569
No TPTP formula. May not be expressible in strict first order. Cars.kif 892-905
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2595-2615
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2622-2638
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2645-2660
No TPTP formula. May not be expressible in strict first order. Dining.kif 1178-1197
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2446-2455
No TPTP formula. May not be expressible in strict first order. Dining.kif 298-306
No TPTP formula. May not be expressible in strict first order. Food.kif 167-176
No TPTP formula. May not be expressible in strict first order. Food.kif 211-220
No TPTP formula. May not be expressible in strict first order. Food.kif 195-204
No TPTP formula. May not be expressible in strict first order. Catalog.kif 339-355
No TPTP formula. May not be expressible in strict first order. Catalog.kif 357-372
No TPTP formula. May not be expressible in strict first order. Catalog.kif 415-427

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