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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16299-16299 Likely is the opposite of unlikely
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3917-3918
No TPTP formula. May not be expressible in strict first order. Merge.kif 16300-16301
No TPTP formula. May not be expressible in strict first order. Merge.kif 16298-16298 Likely is an instance of probability attribute

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34291-34291
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34290-34290
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34289-34289

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16303-16305

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11740-11750
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 17049-17054
No TPTP formula. May not be expressible in strict first order. Merge.kif 17034-17039
No TPTP formula. May not be expressible in strict first order. Merge.kif 17064-17069
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 28859-28880
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4885-4899
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 2447-2456

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