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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Likely

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 17272-17272 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 17273-17274
No TPTP formula. May not be expressible in strict first order. Merge.kif 17271-17271 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 34380-34380
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34379-34379
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34378-34378

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17276-17278

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13598-13608
No TPTP formula. May not be expressible in strict first order. Music.kif 315-321
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5938-5951
No TPTP formula. May not be expressible in strict first order. Merge.kif 18179-18184
No TPTP formula. May not be expressible in strict first order. Merge.kif 18162-18167
No TPTP formula. May not be expressible in strict first order. Merge.kif 18196-18201
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 23464-23481
No TPTP formula. May not be expressible in strict first order. Merge.kif 17959-17969
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3197-3211
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 30166-30187
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4317-4331
No TPTP formula. May not be expressible in strict first order. emotion.kif 1945-1958
No TPTP formula. May not be expressible in strict first order. Catalog.kif 337-352
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9673-9696
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9643-9664
No TPTP formula. May not be expressible in strict first order. Weather.kif 2599-2607
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4563-4580
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24542-24563
No TPTP formula. May not be expressible in strict first order. Weather.kif 2589-2597
No TPTP formula. May not be expressible in strict first order. WMD.kif 1554-1566
No TPTP formula. May not be expressible in strict first order. WMD.kif 1536-1545
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 88-99

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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