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 17379-17379 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 17380-17381
No TPTP formula. May not be expressible in strict first order. Merge.kif 17378-17378 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 34379-34379
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34378-34378
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34377-34377

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17383-17385

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13925-13935
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 6191-6204
No TPTP formula. May not be expressible in strict first order. Merge.kif 18286-18291
No TPTP formula. May not be expressible in strict first order. Merge.kif 18269-18274
No TPTP formula. May not be expressible in strict first order. Merge.kif 18303-18308
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 23881-23898
No TPTP formula. May not be expressible in strict first order. Merge.kif 18066-18076
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3229-3243
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 30577-30598
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4371-4385
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 9983-10006
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9953-9974
No TPTP formula. May not be expressible in strict first order. Weather.kif 2600-2608
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 24966-24987
No TPTP formula. May not be expressible in strict first order. Weather.kif 2590-2598
No TPTP formula. May not be expressible in strict first order. WMD.kif 1563-1575
No TPTP formula. May not be expressible in strict first order. WMD.kif 1545-1554
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