Unlikely - Sigma Knowledge base Browser

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 17713-17714
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17712-17712	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 17700-17700	Likely is the opposite of unlikely
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60470-60470	Likely is the opposite of unlikely
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60469-60469	Likely is the opposite of unlikely
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60468-60468	Likely is the opposite of unlikely

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 17716-17722

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 14875-14884	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 composite unit of measure, 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 14886-14897	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 non composite unit of measure 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 14825-14836	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 there exists the real numberADIUS such that 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 14905-14914	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 composite unit of measure, 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 14916-14925	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 composite unit of measure, 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 0.5 has the modal force of unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14844-14853	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 composite unit of measure, 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 14855-14866	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 non composite unit of measure 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 14806-14816	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 there exists the real numberADIUS such that 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.	Medicine.kif 2785-2797	If an entity is an instance of COVID antibody and Covid is not an attribute of another entity and the entity is a part of the other entity holds during a time position, then the statement Covid is an attribute of the other entity has the modal force of unlikely holds during immediately after the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7828-7840	If an object is an instance of Facility and physically restricted region is an attribute of the object, then the statement there exist an entity and another entity such that the entity is an instance of entering or the entity is an instance of exiting and the other entity is path along which the entity occurs and not the other entity is the entrance for the object has the modal force of unlikely
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2322-2332	If a process is an instance of flooding and an object is an instance of land area and the process is located at the object 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 object 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.	Mid-level-ontology.kif 11103-11124	If a transfer is an instance of ingesting and an agent experiences the transfer and the object transferred in the transfer is an object and the object is an instance of mood stabilizer and a process is an instance of the processC and the agent is an involved in event of the process and the processS is an attribute of the agent holds during the time of existence of the process and the processS is an instance of emotional state and the process2 is an instance of the processC and the agent is an involved in event of the process2 and the time of existence of the process2 happens earlier than the time of existence of the transfer, then the statement the processS is an attribute of the agent doesn't hold during the process2 has the modal force of unlikely
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7834-7846	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 equal the self connected object and 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 31739-31745	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 31747-31753	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 671-679	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 14704-14713	If the maximum expected height of a kind of object is a real number an unit of measure(s), then the statement there exist an entity and the real numberEIGHT 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 14770-14779	If the maximum expected length of a kind of object is a real number an unit of measure(s), then the statement there exist an entity and the real numberENGTH 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 14737-14746	If the maximum expected width of a kind of object is a real number an unit of measure(s), then the statement there exist an entity and the real numberIDTH 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 14688-14696	If the minimum expected height of a kind of object is a real number an unit of measure(s), then the statement there exist an entity and the real numberEIGHT 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 14754-14762	If the minimum expected length of a kind of object is a real number an unit of measure(s), then the statement there exist an entity and the real numberENGTH 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 14721-14729	If the minimum expected width of a kind of object is a real number an unit of measure(s), then the statement there exist an entity and the real numberIDTH 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 428-436	If a cognitive agent distrusts an agent will do a kind of intentional process, then the cognitive agent believes the statement there exists a kind of intentional processI such that the kind of intentional processI is an instance of the kind of intentional process and the agent is an agent of the kind of intentional processI 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

KB Term:			Term intersection

English Word: