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 16368-16368 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 16369-16370
No TPTP formula. May not be expressible in strict first order. Merge.kif 16367-16367 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 34387-34387
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34386-34386
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34385-34385

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16372-16374

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11715-11725
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 17125-17130
No TPTP formula. May not be expressible in strict first order. Merge.kif 17109-17114
No TPTP formula. May not be expressible in strict first order. Merge.kif 17142-17147
No TPTP formula. May not be expressible in strict first order. Cars.kif 2599-2617
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 3221-3235
No TPTP formula. May not be expressible in strict first order. Cars.kif 2581-2597
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28839-28860
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 1855-1868
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. Weather.kif 2593-2601
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. Weather.kif 2583-2591
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 2614-2634
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2641-2657
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2664-2679
No TPTP formula. May not be expressible in strict first order. emotion.kif 1620-1628
No TPTP formula. May not be expressible in strict first order. Dining.kif 1180-1199
No TPTP formula. May not be expressible in strict first order. emotion.kif 1600-1608
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. ComputingBrands.kif 4128-4136

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