Unlikely - Sigma Knowledge base Browser

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

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.	DimensioningAmenities.kif 213-222	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 another object and the real numberUANTITY such that the other object is an instance of a kind of object and the measure of the other object 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.	DimensioningAmenities.kif 223-234	If the maximum expected value of a kind of object is a real number an unit of measure(s) and a set or class is a subclass of NonCompositeUnitMeasure and the unit of measure is an instance of the set or class, then the statement there exist another object, the real numberUANTITY and another unit of measure such that the other object is an instance of a kind of object and the measure of the other object is the real numberUANTITY the other unit of measure(s) and the other unit of measure is an instance of the set or class and the real numberUANTITY the other unit of measure(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.	DimensioningAmenities.kif 168-176	If the maximum expected radium of a kind of object is a length measure 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 length measureADIUS and the length measureADIUS is greater than the length measure has the modal force of unlikely
No TPTP formula. May not be expressible in strict first order.	DimensioningAmenities.kif 242-251	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 another object and the real numberUANTITY such that the other object is an instance of a kind of object and the measure of the other object 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.	DimensioningAmenities.kif 253-262	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 another object and the real numberUANTITY such that the other object is an instance of a kind of object and the measure of the other object 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.	DimensioningAmenities.kif 184-193	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 another object and the real numberUANTITY such that the other object is an instance of a kind of object and the measure of the other object 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.	DimensioningAmenities.kif 194-205	If the minimum expected value of a kind of object is a real number an unit of measure(s) and a set or class is a subclass of NonCompositeUnitOfMeasure and the unit of measure is an instance of the set or class, then the statement there exist another object, the real numberUANTITY and another unit of measure such that the other object is an instance of a kind of object and the measure of the other object is the real numberUANTITY the other unit of measure(s) and the other unit of measure is an instance of the set or class and the real numberUANTITY the other unit of measure(s) is less 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.	DimensioningAmenities.kif 151-159	If the minimum expected radius of a kind of object is a length measure 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 length measureADIUS and the length measureADIUS is less than the length measure has the modal force of unlikely
No TPTP formula. May not be expressible in strict first order.	LinkedInDegrees.kif 115-129	If an object is an instance of human and a process is an instance of awarding a degree and the honorary degree in a field of study from a human is a patient of the process and the process ends up at the object and the human is an agent of the process and there exists an entity such that the entity is an instance of time interval, then the statement the human attends a demonstrating holds during the entity doesn't have the modal force of necessity and the statement student is an attribute of the object has the modal force of unlikely
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6874-6886	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 a fourth self connected object such that the fourth self connected object is an instance of substance and liquid is an attribute of the fourth self connected object and the self connected object is not equal to the fourth self connected object and the other self connected objectS is a surface of the fourth self connected object and meetSpatially the other self connected object and 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 27582-27588	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 27590-27596	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 636-644	If an organization allows checkins after a kind of time point, then the statement there exist another time point and a process such that the other time point is an instance of a kind of time point and the process is an instance of check-in service and the organization is an agent of the process and the beginning of the time of existence of the process happens before the other time point has the modal force of unlikely
No TPTP formula. May not be expressible in strict first order.	DimensioningAmenities.kif 58-65	If the maximum expected height of a kind of object is a length measure, then the statement there exists a self connected object such that the self connected object is an instance of a kind of object and the height of the self connected object is the length measureEIGHT and the length measureEIGHT is greater than the length measure has the modal force of unlikely
No TPTP formula. May not be expressible in strict first order.	DimensioningAmenities.kif 118-125	If the maximum expected length of a kind of object is a length measure, then the statement there exists another object such that the other object is an instance of a kind of object and the length of the other object is the length measureENGTH and the length measureENGTH is greater than the length measure has the modal force of unlikely
No TPTP formula. May not be expressible in strict first order.	DimensioningAmenities.kif 88-95	If the maximum expected width of a kind of object is a length measure, then the statement there exists another object such that the other object is an instance of a kind of object and the width of the other object is the length measureIDTH and the length measureIDTH is greater than the length measure has the modal force of unlikely
No TPTP formula. May not be expressible in strict first order.	DimensioningAmenities.kif 43-50	If the minimum expected height of a kind of object is a length measure, then the statement there exists a self connected object such that the self connected object is an instance of a kind of object and the height of the self connected object is the length measureEIGHT and the length measureEIGHT is less than the length measure has the modal force of unlikely
No TPTP formula. May not be expressible in strict first order.	DimensioningAmenities.kif 103-110	If the minimum expected length of a kind of object is a length measure, then the statement there exists another object such that the other object is an instance of a kind of object and the length of the other object is the length measureENGTH and the length measureENGTH is less than the length measure has the modal force of unlikely
No TPTP formula. May not be expressible in strict first order.	DimensioningAmenities.kif 73-80	If the minimum expected width of a kind of object is a length measure, then the statement there exists another object such that the other object is an instance of a kind of object and the width of the other object is the length measureIDTH and the length measureIDTH is less than the length measure has the modal force of unlikely
No TPTP formula. May not be expressible in strict first order.	Law.kif 462-470	If an agent distrusts another agent, then the agent believes the statement there exists a process such that the process is an instance of a kind of intentional process and the other agent is an agent of the process 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: