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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Likely
Likelyanticipated, 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 17890-17890
s__documentation(s__Likely,s__ChineseLanguage,'这是表示有可能发生的 ProbabilityAttribute，即是有可能是 True 的机会比不可能的大。')

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

 Merge.kif 17891-17892
s__instance(s__ProbabilityAttribute,s__SetOrClass)

 Merge.kif 17889-17889

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


s__termFormat(s__EnglishLanguage,s__Likely,'likely')

 domainEnglishFormat.kif 6151-6151

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17896-17898

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 18779-18784
No TPTP formula. May not be expressible in strict first order. Merge.kif 18765-18770
No TPTP formula. May not be expressible in strict first order. Merge.kif 18793-18798
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. emotion.kif 161-172
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 28718-28739
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. emotion.kif 1843-1856
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. LinkedInDegrees.kif 132-140
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. emotion.kif 1608-1616
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. emotion.kif 1588-1596
No TPTP formula. May not be expressible in strict first order. emotion.kif 1576-1584
No TPTP formula. May not be expressible in strict first order. LinkedInDegrees.kif 263-274
No TPTP formula. May not be expressible in strict first order. LinkedInDegrees.kif 291-303
No TPTP formula. May not be expressible in strict first order. LinkedInDegrees.kif 335-347

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