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 17388-17389
No TPTP formula. May not be expressible in strict first order. Merge.kif 17387-17387 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 17379-17379 Likely is the opposite of unlikely
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60450-60450
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60449-60449
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60448-60448

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17391-17393

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13382-13391
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13393-13404
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13332-13343
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13412-13421
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13423-13432
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13351-13360
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13362-13373
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13313-13323
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 9702-9723
No TPTP formula. May not be expressible in strict first order. Geography.kif 7225-7237
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29762-29768
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29770-29776
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 13212-13221
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13278-13287
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13245-13254
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13196-13204
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13262-13270
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13229-13237
No TPTP formula. May not be expressible in strict first order. Law.kif 465-473


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