Likely - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17596-17596	Likely is the opposite of unlikely
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3917-3918
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17597-17598
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17595-17595	Likely is an instance of probability attribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34397-34397
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34396-34396
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34395-34395

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 44-59	If a process is an instance of bleeding and an entity is an instance of death and a formula is an instance of human and an agent is an instance of human and the agent experiences the process and the formula is near to the agent and the statement the process causes the entity has the modal force of likely, then there exists another entity such that the other entity is an instance of attaching and the formula is an agent of the other entity and the other entity ends up at the agent is obliged to perform tasks of type the formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17600-17606	If the statement a formula has the modal force of likely, then the probability of the formula is true is greater than the probability of the formula is false

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14106-14116	If a cognitive agent has the responsibility to make a proposition a deontic attribute in an agreement and the deontic attribute is equal to obligation or the deontic attribute is equal to promise, then the statement there exists an entity such that the entity expresses the content of the proposition and the cognitive agent is an agent of the entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Music.kif 316-322	If an image is the image on an album and an object is an instance of the set of copies on a kind of data storage device of the album and a self connected object contains the object, then the statement the image is a part of the front of the self connected object has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6225-6238	If allergic a human and a kind of substance and a kind of substanceUB is an instance of the kind of substance and the kind of substanceUB meets the human holds during a time position, then the statement there exists another entity such that the other entity is an instance of allergic reaction and the human experiences the other entity and the time of existence of the other entity overlaps the time position and the beginning of the time position happens before the beginning of the time of existence of the other entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3984-4004	If attention deficit hyperactivity disorder is an attribute of an agent and attention deficit hyperactivity disorder is not an attribute of another agent and the agent is not equal to the other agent and a process is an instance of a class and another process is an instance of the class and the class is a subclass of intentional psychological process and the agent is an agent of the process and the other agent is an agent of the other process and duration of the time of existence of the process is a time duration and duration of the time of existence of the other process is another time duration, then the statement the other time duration is greater than the time duration has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18525-18530	If The defalutMaxValue of a predicate with a positive integer arguments is a quantity. and the predicate @ARGS and another entity is equal to the positive integerth element of (@ARGS), then the statement the quantity is greater than the other entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18508-18513	If The defaultMinValue of a predicate with a positive integer arguments is a quantity. and the predicate @ARGS and another entity is equal to the positive integerth element of (@ARGS), then the statement the other entity is greater than the quantity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18542-18547	If The defaultValue of a predicate with a positive integer arguments is a quantity. and the predicate @ARGS and another entity is equal to the positive integerth element of (@ARGS), then the statement the quantity is equal to the other entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3022-3038	If an agent employs a cognitive agent and the agent employs another cognitive agent and a process is an instance of do network messaging and an object is a result of the process and not safe for work is an attribute of the object and the cognitive agent is an agent of the process and another process is an instance of seeing and the object is a patient of the other process and the other cognitive agent is an agent of the other process, then the statement there exists the cognitive agentROC such that the process causes the cognitive agentROC and the cognitive agent suffers from the cognitive agentROC has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2568-2586	If the idle speed of an internal combustion engine is the rotation of a real number miles per hour(s) during a time duration and an object is an instance of automobile and a process is an instance of gas pedal and the process is an instance of pushing and the process ends up at another object and the internal combustion engine is a part of the object and the other object is a part of the object and a third object is an instance of crankshaft and the third object is a part of the internal combustion engine and the measure of the third object is the rotation of an entity miles per hour(s) during the time duration holds during the time of existence of the process, then the statement the entity is greater than the real number has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5284-5291	If a kind of object is equal to Object made from a kind of organic object and a kind of object is a subclass of hardwood and a kind of organic object is a subclass of plant stem, then the statement every the kind of organic object is initially part of a deciduous tree has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5409-5416	If a kind of object is equal to Object made from a kind of organic object and a kind of object is a subclass of softwood and a kind of organic object is a subclass of plant stem, then the statement every the kind of organic object is initially part of a conifers has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	emotion.kif 161-172	If an emotional state is an attribute of an entity holds during a time position and action tendency the emotional state and a kind of emotional behavioral process, then the statement there exists another entity such that the other entity is an instance of a kind of emotional behavioral process and the time of existence of the other entity takes place during the time position and the entity experiences the other entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23973-23989	If menopause is an attribute of a human holds during a time interval and a day is a birthdate of the human and the day is an instance of the day a positive integer and a real number is equal to (49 and an integer) and another real number is equal to (52 and the integer) and a time point is equal to the beginning of the time interval, then the statement the time point is greater than the real number and the other real number is greater than the time point has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18304-18314	If impaired body part fn a class is an attribute of an object holds during a time position and the classI is an instance of the class and the classI is a part of the object and the classI has the purpose a formula, then the statement the formula has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1500-1512	If ME/CFS is an attribute of an agent holds during a time interval and a process is an instance of recreation or exercise and the agent is an agent of the process and the time of existence of the process takes place during the time interval, then the statement PEM is an attribute of the agent holds during the time interval2 and the time of existence of the process happens earlier than the time interval2 has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3231-3245	If booting up is an attribute of an engineering component holds during a physical and host ready is an attribute of the engineering component holds during the physical2 and the physical2 is equal to immediately after the time of existence of the physical and another engineering component is an instance of computer display and the other engineering component is connected to the engineering component, then the statement there exists an entity such that the entity is an instance of home screen and the entity is displayed on the other engineering component has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2550-2566	If the measure of an object is a function quantity holds during a time position and the idle speed of an internal combustion engine is the function quantity and another object is an instance of automobile and the internal combustion engine is a part of the other object and the object is a part of the internal combustion engine, then the statement there don't exist an entity and another entity such that the entity takes place during the time position and the entity is an instance of pushing and the entity ends up at the other entity and the other entity is a part of the other object has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30686-30707	If dieting is an attribute of an agent holds during a time interval and dieting is not an attribute of the agent holds during another time interval and an object is an instance of meal and a process is an instance of eating and the agent is an agent of the process and the object is a resource for the process and the time of existence of the process takes place during the time interval and the measure of the object is a real number calorie(s) and another object is an instance of meal and another process is an instance of eating and the agent is an agent of the other process and the other object is a resource for the other process and the time of existence of the other process takes place during the other time interval and the measure of the other object is another real number calorie(s), then the statement the other real number is greater than the real number has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2763-2777	If an object is an instance of antigen COVID test and the object is an instrument for a process and the process is an instance of measuring and another object is a patient of the process and a third object is an instance of COVID antibody and the third object is a part of the other object, then the statement the other object knows there exists the third object such that the third object is an instance of COVID antibody and the third object is a part of the other object has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4404-4420	If an agent is an instance of biped and a process is an instance of ambulating and the agent is an agent of the process, then the statement there exist an entity and another entity such that the entity is an instance of leg and the other entity is an instance of leg and the entity is not equal to the other entity and the entity is a part of the agent and the other entity is a part of the agent and the entity is an instrument for the process and the other entity is an instrument for the process has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2230-2239	If a process is an instance of rheumatoid arthritis and an agent experiences the process, then the statement there exists an entity such that the entity is an instance of joint pain and the process causes the entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1945-1958	If a process is an instance of angry voice utterance and an agent is an agent of the process, then the statement the process is an instance of angry voice utterance and the agent is an agent of the process is a causes proposition of there exists the agentNG such that the agentNG is an instance of anger and the agent experiences the agentNG has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 337-352	If a process is an instance of buying and an entity is a patient of the process and the process originates at a cognitive agent and the price of another kind of entity from the cognitive agent according to a pricing scheme is a currency measure or the unit price charged the cognitive agent under the pricing scheme for a function quantity is another kind of entity and the other kind of entity is a subclass of physical and the entity is an immediate instance of the other kind of entity and a kind of payment is a valid payment under the pricing scheme, then the statement there exists a kind of paymentMENT such that the kind of paymentMENT is an instance of the kind of payment and the kind of paymentMENT is a subprocess of the process has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10082-10105	If an object is an instance of antidiuretic and a motion is an instance of ingesting and an agent is an agent of the motion and the object moves during the motion and a time interval is an instance of urination and an entity is a result of the time interval and the agent is an agent of the time interval and another time interval is an instance of urination and the time interval is not equal to the other time interval and another entity is a result of the other time interval and the agent is an agent of the other time interval and the time interval happens earlier than the motion and the motion happens earlier than the other time interval and an unit of measure is an instance of unit of volume and the measure of the time interval is a real number the unit of measure(s) and the measure of the other time interval is another real number the unit of measure(s), then the statement the real number is greater than the other real number has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10052-10073	If an object is an instance of diuretic and a motion is an instance of ingesting and an agent is an agent of the motion and the object moves during the motion and a time interval is an instance of urination and an entity is a result of the time interval and the agent is an agent of the time interval and another time interval is an instance of urination and another entity is a result of the other time interval and the agent is an agent of the other time interval and the time interval happens earlier than the motion and the motion happens earlier than the other time interval and an unit of measure is an instance of unit of volume and the measure of the time interval is a real number the unit of measure(s) and the measure of the other time interval is another real number the unit of measure(s), then the statement the other real number is greater than the real number has the modal force of likely

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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: