Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Unlikely
Unlikely(unlikely)chancy, contingent, farfetched, flukey, fluky, iffy, implausible, impossible, improbable, inconceivable, last, mathematical, out_of_the_blue, out_of_the_question, outside, remote, unanticipated, unbelievable, uncertain, unconvincing, unexpected, unforeseen, unhoped, unhoped-for, unimaginable, unlikely, unlooked-for, unthought, unthought-of, upset

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3919-3920
No TPTP formula. May not be expressible in strict first order. Merge.kif 17534-17535
No TPTP formula. May not be expressible in strict first order. Merge.kif 17533-17533 Unlikely is an instance of probability attribute

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 17525-17525 Likely is the opposite of unlikely
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60476-60476
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60475-60475
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60474-60474

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17537-17539

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13536-13545
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13547-13558
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13486-13497
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13566-13575
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13577-13586
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13505-13514
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13516-13527
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13467-13477
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2784-2796
No TPTP formula. May not be expressible in strict first order. Weather.kif 1598-1608
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9774-9795
No TPTP formula. May not be expressible in strict first order. Geography.kif 7497-7509
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29847-29853
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29855-29861
No TPTP formula. May not be expressible in strict first order. Hotel.kif 667-675
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13365-13374
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13431-13440
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13398-13407
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13349-13357
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13415-13423
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13382-13390
No TPTP formula. May not be expressible in strict first order. Law.kif 422-430


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