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 17804-17804 Likely is the opposite of unlikely
No TPTP formula. May not be expressible in strict first order. Merge.kif 17807-17808
No TPTP formula. May not be expressible in strict first order. Merge.kif 17805-17806
No TPTP formula. May not be expressible in strict first order. Merge.kif 17803-17803 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 6151-6151 "likely" is the printable form of likely in english language

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17810-17812

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11422-11432
No TPTP formula. May not be expressible in strict first order. Music.kif 335-341
No TPTP formula. May not be expressible in strict first order. Merge.kif 18693-18698
No TPTP formula. May not be expressible in strict first order. Merge.kif 18679-18684
No TPTP formula. May not be expressible in strict first order. Merge.kif 18707-18712
No TPTP formula. May not be expressible in strict first order. Cars.kif 2612-2625
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. Cars.kif 2594-2610
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28357-28378
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4880-4894
No TPTP formula. May not be expressible in strict first order. emotion.kif 1843-1856
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 4553-4570
No TPTP formula. May not be expressible in strict first order. LinkedInDegrees.kif 132-140
No TPTP formula. May not be expressible in strict first order. Cars.kif 933-946
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2595-2615
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2622-2638
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2645-2660
No TPTP formula. May not be expressible in strict first order. emotion.kif 1608-1616
No TPTP formula. May not be expressible in strict first order. Dining.kif 1178-1197
No TPTP formula. May not be expressible in strict first order. emotion.kif 1588-1596
No TPTP formula. May not be expressible in strict first order. emotion.kif 1576-1584
No TPTP formula. May not be expressible in strict first order. LinkedInDegrees.kif 263-274
No TPTP formula. May not be expressible in strict first order. LinkedInDegrees.kif 291-303
No TPTP formula. May not be expressible in strict first order. LinkedInDegrees.kif 335-347

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners