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 17265-17265 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 17266-17267
No TPTP formula. May not be expressible in strict first order. Merge.kif 17264-17264 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 17269-17271

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13545-13555
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 5907-5920
No TPTP formula. May not be expressible in strict first order. Merge.kif 18172-18177
No TPTP formula. May not be expressible in strict first order. Merge.kif 18155-18160
No TPTP formula. May not be expressible in strict first order. Merge.kif 18189-18194
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 23355-23372
No TPTP formula. May not be expressible in strict first order. Merge.kif 17952-17962
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 30040-30061
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4301-4315
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 9623-9646
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9593-9614
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 4561-4578
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24425-24446
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 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