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. Merge.kif 17817-17818
No TPTP formula. May not be expressible in strict first order. Merge.kif 17815-17816
No TPTP formula. May not be expressible in strict first order. Merge.kif 17814-17814 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 17804-17804 Likely is the opposite of unlikely
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10508-10508 "unlikely" is the printable form of unlikely in english language

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17820-17822

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


No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 213-222
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 223-234
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 168-176
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 242-251
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 253-262
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 184-193
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 194-205
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 151-159
No TPTP formula. May not be expressible in strict first order. LinkedInDegrees.kif 115-129
No TPTP formula. May not be expressible in strict first order. Geography.kif 6874-6886
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27582-27588
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27590-27596
No TPTP formula. May not be expressible in strict first order. Hotel.kif 636-644
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 58-65
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 118-125
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 88-95
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 43-50
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 103-110
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 73-80
No TPTP formula. May not be expressible in strict first order. Law.kif 462-470


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