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 16929-16929 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 16930-16931
No TPTP formula. May not be expressible in strict first order. Merge.kif 16928-16928 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 16933-16935

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13519-13529
No TPTP formula. May not be expressible in strict first order. Music.kif 314-320
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5882-5895
No TPTP formula. May not be expressible in strict first order. Merge.kif 17822-17827
No TPTP formula. May not be expressible in strict first order. Merge.kif 17805-17810
No TPTP formula. May not be expressible in strict first order. Merge.kif 17839-17844
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 23328-23345
No TPTP formula. May not be expressible in strict first order. Merge.kif 17610-17620
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3198-3212
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 30013-30034
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4282-4296
No TPTP formula. May not be expressible in strict first order. emotion.kif 1953-1966
No TPTP formula. May not be expressible in strict first order. Catalog.kif 332-347
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9597-9620
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9567-9588
No TPTP formula. May not be expressible in strict first order. Weather.kif 2595-2603
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 24398-24419
No TPTP formula. May not be expressible in strict first order. Weather.kif 2585-2593
No TPTP formula. May not be expressible in strict first order. WMD.kif 1553-1565
No TPTP formula. May not be expressible in strict first order. WMD.kif 1535-1544
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