  Browsing Interface : Welcome guest : log in [  Home |  Graph |  ]  KB:  SUMO Language:  ChineseLanguageChineseTraditionalLanguageEnglishLanguageFrenchLanguageGermanLanguageJapaneseLanguageSpanishLanguageSwedishLanguage   Formal Language:  OWLSUO-KIFTPTPtraditionalLogic

 KB Term: Term intersection English Word: Any Noun Verb Adjective Adverb

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 16377-16378 No TPTP formula. May not be expressible in strict first order. Merge.kif 16376-16376 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 16368-16368 Likely is the opposite of unlikely No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60442-60442 No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60441-60441 No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60440-60440

 antecedent No TPTP formula. May not be expressible in strict first order. Merge.kif 16380-16382 If the statement a formula has the modal force of unlikely,then the probability of the formula is false is greater than the probability of the formula is true

 consequent No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10335-10344 If the maximum expected value of a kind of object is a real number an unit of measure(s) and the unit of measure is an instance of CompositeUnitOfMeasure,then the statement there exist an entity and the real numberUANTITY such that the entity is an instance of a kind of object and the measure of the entity is the real numberUANTITY the unit of measure(s) and the real numberUANTITY is greater than the real number has the modal force of unlikely No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10346-10357 If the maximum expected value of a kind of object is a real number an unit of measure(s) and a class is a subclass of NonCompositeUnitOfMeasure and the unit of measure is an instance of the class,then the statement there exist an entity, the real numberUANTITY and a third entity such that the entity is an instance of a kind of object and the measure of the entity is the real numberUANTITY the third entity(s) and the third entity is an instance of the class and the real numberUANTITY the third entity(s) is greater than the real number the unit of measure(s) has the modal force of unlikely No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10285-10295 If the maximum expected radius of a kind of object is a real number an unit of measure(s) and another object is an instance of a kind of object and sphere is an attribute of the other object,then the statement the radius of the other object is the real numberADIUS the unit of measure(s) and the real numberADIUS is greater than the real number has the modal force of unlikely No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10365-10374 If the expected value of a kind of object is a real number an unit of measure(s) and the unit of measure is an instance of CompositeUnitOfMeasure,then the statement there exist an entity and the real numberUANTITY such that the entity is an instance of a kind of object and the measure of the entity is the real numberUANTITY the unit of measure(s) and the real numberUANTITY is greater than the real number and 1.5 has the modal force of unlikely No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10376-10385 If the expected value of a kind of object is a real number an unit of measure(s) and the unit of measure is an instance of CompositeUnitOfMeasure,then the statement there exist an entity and the real numberUANTITY such that the entity is an instance of a kind of object and the measure of the entity is the real numberUANTITY the unit of measure(s) and the real numberUANTITY is less than the real number and .5 has the modal force of unlikely No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10304-10313 If the minimum expected value of a kind of object is a real number an unit of measure(s) and the unit of measure is an instance of CompositeUnitOfMeasure,then the statement there exist an entity and the real numberUANTITY such that the entity is an instance of a kind of object and the measure of the entity is the real numberUANTITY the unit of measure(s) and the real numberUANTITY is less than the real number has the modal force of unlikely No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10315-10326 If the minimum expected value of a kind of object is a real number an unit of measure(s) and a class is a subclass of NonCompositeUnitOfMeasure and the unit of measure is an instance of the class,then the statement there exist an entity, the real numberUANTITY and a third entity such that the entity is an instance of a kind of object and the measure of the entity is the real numberUANTITY the third entity(s) and the third entity is an instance of the class and the real numberUANTITY is less than the real number has the modal force of unlikely No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10266-10275 If the minimum expected radius of a kind of object is a real number an unit of measure(s) and another object is an instance of a kind of object and sphere is an attribute of the other object,then the statement the radius of the other object is the real numberADIUS the unit of measure(s) and the real numberADIUS is less than the real number has the modal force of unlikely No TPTP formula. May not be expressible in strict first order. Weather.kif 1597-1607 If a process is an instance of flooding and an entity is an instance of land area and the process is located at 2 and a time point is an instance of time point and the time point happens before the time of existence of the process,then the statement the entity is an instance of submerged land area holds during the time point has the modal force of unlikely No TPTP formula. May not be expressible in strict first order. Geography.kif 7055-7067 If a self connected object is an instance of liquid drop and another self connected object is a surface of the self connected object,then the statement there exist the other self connected objectS and another entity such that the other entity is an instance of substance and liquid is an attribute of the other entity and the self connected object is not equal to the other entity and the other self connected objectS is a surface of the other entity and the other self connected object meets the other self connected objectS has the modal force of unlikely No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26081-26087 If the approximate value of a real number is another real number,then the statement 0.9 is greater than the real number and the other real number has the modal force of unlikely No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26089-26095 If the approximate value of a real number is another real number,then the statement 0.9 is greater than the other real number and the real number has the modal force of unlikely No TPTP formula. May not be expressible in strict first order. Hotel.kif 646-654 If an organization allows checkins after a kind of time point,then the statement there exist an entity and another entity such that the entity is an instance of a kind of time point and the other entity is an instance of check-in service and the organization is an agent of the other entity and the beginning of the time of existence of the other entity happens before the entity has the modal force of unlikely No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10160-10169 If the maximum expected height of a kind of object is a real number an unit of measure(s),then the statement there exists an entity such that the entity is an instance of a kind of object and the height of the entity is the real numberEIGHT the unit of measure(s) and the real numberEIGHT is greater than the real number has the modal force of unlikely No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10229-10238 If the maximum expected length of a kind of object is a real number an unit of measure(s),then the statement there exists an entity such that the entity is an instance of a kind of object and the length of the entity is the real numberENGTH the unit of measure(s) and the real numberENGTH is greater than the unit of measure has the modal force of unlikely No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10195-10204 If the maximum expected width of a kind of object is a real number an unit of measure(s),then the statement there exists an entity such that the entity is an instance of a kind of object and the width of the entity is the real numberIDTH the unit of measure(s) and the real numberIDTH is greater than the real number has the modal force of unlikely No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10143-10151 If the minimum expected height of a kind of object is a real number an unit of measure(s),then the statement there exists an entity such that the entity is an instance of a kind of object and the height of the entity is the real numberEIGHT the unit of measure(s) and the real numberEIGHT is less than the real number has the modal force of unlikely No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10213-10221 If the minimum expected length of a kind of object is a real number an unit of measure(s),then the statement there exists an entity such that the entity is an instance of a kind of object and the length of the entity is the real numberENGTH the unit of measure(s) and the real numberENGTH is less than the real number has the modal force of unlikely No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10178-10186 If the minimum expected width of a kind of object is a real number an unit of measure(s),then the statement there exists an entity such that the entity is an instance of a kind of object and the width of the entity is the real numberIDTH the unit of measure(s) and the real numberIDTH is less than the real number has the modal force of unlikely No TPTP formula. May not be expressible in strict first order. Law.kif 466-474 If a cognitive agent distrusts an agent,then the cognitive agent believes the statement there exists an entity such that the entity is an instance of a kind of intentional process and the agent is an agent of the entity has the modal force of unlikely 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