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 17698-17699
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17697-17697	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 17685-17685	Likely is the opposite of unlikely
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60499-60499	Likely is the opposite of unlikely
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60498-60498	Likely is the opposite of unlikely
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60497-60497	Likely is the opposite of unlikely

antecedent

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

Merge.kif 17701-17707

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 14893-14902	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 14904-14915	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 14843-14854	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 14923-14932	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 14934-14943	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 .5 has the modal force of unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14862-14871	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 14873-14884	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 14824-14834	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 7847-7859	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 1580-1590	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 11121-11142	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 7567-7579	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 31498-31504	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 31506-31512	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 14722-14731	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 14788-14797	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 14755-14764	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 14706-14714	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 14772-14780	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 14739-14747	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: