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 16818-16818 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 16819-16820
s__instance(s__Likely,s__ProbabilityAttribute)

s__instance(s__ProbabilityAttribute,s__Class)

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

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


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

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

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

domainEnglishFormat.kif 34378-34378

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16822-16824

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13271-13281
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. Mid-level-ontology.kif 5884-5897
No TPTP formula. May not be expressible in strict first order. Merge.kif 17711-17716
No TPTP formula. May not be expressible in strict first order. Merge.kif 17695-17700
No TPTP formula. May not be expressible in strict first order. Merge.kif 17728-17733
No TPTP formula. May not be expressible in strict first order. Cars.kif 2585-2603
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. Mid-level-ontology.kif 23023-23040
No TPTP formula. May not be expressible in strict first order. Merge.kif 17502-17512
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3205-3219
No TPTP formula. May not be expressible in strict first order. Cars.kif 2567-2583
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29710-29731
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4284-4298
No TPTP formula. May not be expressible in strict first order. emotion.kif 1941-1954
No TPTP formula. May not be expressible in strict first order. Catalog.kif 328-343
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9387-9410
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9357-9378
No TPTP formula. May not be expressible in strict first order. Weather.kif 2593-2601
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4561-4578
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24094-24115
No TPTP formula. May not be expressible in strict first order. Weather.kif 2583-2591
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 88-99
No TPTP formula. May not be expressible in strict first order. Cars.kif 902-915
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2627-2647

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 3.0 is open source software produced by Articulate Software and its partners