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 16316-16316 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 16317-16318
No TPTP formula. May not be expressible in strict first order. Merge.kif 16315-16315 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 34312-34312
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34311-34311
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34310-34310

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16320-16322

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11713-11723
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 17066-17071
No TPTP formula. May not be expressible in strict first order. Merge.kif 17051-17056
No TPTP formula. May not be expressible in strict first order. Merge.kif 17081-17086
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 3217-3231
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 28831-28852
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 4107-4115
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4130-4140
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 3.0 is open source software produced by Articulate Software and its partners