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 17685-17685 Likely is the opposite of unlikely
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3917-3918 Likely is the opposite of unlikely
No TPTP formula. May not be expressible in strict first order. Merge.kif 17686-17687 Likely is the opposite of unlikely
No TPTP formula. May not be expressible in strict first order. Merge.kif 17684-17684 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 34408-34408
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34407-34407
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34406-34406

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 44-59
No TPTP formula. May not be expressible in strict first order. Merge.kif 17689-17695

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15450-15460
No TPTP formula. May not be expressible in strict first order. Music.kif 316-322
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7168-7181
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3987-4007
No TPTP formula. May not be expressible in strict first order. Merge.kif 18618-18623
No TPTP formula. May not be expressible in strict first order. Merge.kif 18601-18606
No TPTP formula. May not be expressible in strict first order. Merge.kif 18635-18640
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3023-3039
No TPTP formula. May not be expressible in strict first order. Cars.kif 2569-2587
No TPTP formula. May not be expressible in strict first order. Economy.kif 5625-5632
No TPTP formula. May not be expressible in strict first order. Economy.kif 5750-5757
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 25564-25580
No TPTP formula. May not be expressible in strict first order. Merge.kif 18397-18407
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1492-1504
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3227-3241
No TPTP formula. May not be expressible in strict first order. Cars.kif 2551-2567
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 32598-32619
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2764-2778
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4854-4870
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2228-2237
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 11384-11407
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11354-11375

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