Likely - Sigma Knowledge base Browser

appearance as argument number 1

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.	Merge.kif 17807-17808
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17805-17806
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17803-17803	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 6151-6151

"likely" is the printable form of likely in english language

antecedent

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

Merge.kif 17810-17812

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 11422-11432	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 a process such that the process expresses the content of the proposition and the cognitive agent is an agent of the process has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Music.kif 335-341	If an object is the image on an album and another object is an instance of the set of copies on a kind of DataStorageDevice of the album and a self connected object contains the other object, then the statement the object 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.	Merge.kif 18693-18698	If defaultMaxValue an entity, a positive integer and a quantity and the entity @ARGS and another quantity is equal to the positive integerth element of (@ARGS), then the statement the quantity is greater than the other quantity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18679-18684	If defaultMinValue an entity, a positive integer and a quantity and the entity @ARGS and another quantity is equal to the positive integerth element of (@ARGS), then the statement the other quantity is greater than the quantity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18707-18712	If defaultValue an entity, a positive integer and another entity and the entity @ARGS and a fourth entity is equal to the positive integerth element of (@ARGS), then the statement the other entity is equal to the fourth entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2612-2625	If the idle speed of an internal combustion engine is the rotation of a quantity 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 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 object and the measure of the third object is the rotation of another quantity during the time duration, then the statement the other quantity is greater than the quantity 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 agent holds during a time interval and the emotional state tends to cause a kind of emotional behavioral process, then the statement there exists a kind of emotional behavioral processI such that the kind of emotional behavioral process is an instance of the kind of emotional behavioral processI and the kind of emotional behavioral processI takes place during the time interval and the agent experiences the kind of emotional behavioral processI has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2594-2610	If the measure of an object is a function quantity holds during a time interval 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 another time interval and a third object such that the other time interval takes place during the time interval and the other time interval is an instance of pushing and the other time interval ends up at the third object 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 28357-28378	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.	Mid-level-ontology.kif 4880-4894	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 object and L2 such that the object is an instance of leg and another object is an instance of leg and the object is a part of the agent and the other object is a part of the agent and the object is an instrument for the process and the other object is an instrument for the process has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1843-1856	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 322-337	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.	UXExperimentalTerms.kif 4553-4570	If a process is an instance of process and a human is an instance of agent and an experimenting is an instance of experimenting and the human is a treated used in the experimenting and the process is a process in the experimenting and the human experiences another process and the human experiences the process and the experimenting causes the other process, then there exists the experimentingERIMENTER such that the experimentingERIMENTER is an instance of agent and the experimentingERIMENTER is the experimenter in the experimenting and the experimentingERIMENTER believes the statement the process causes the other process has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	LinkedInDegrees.kif 132-140	If an entity 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 graduate school is a patient of the process and the graduate school is an agent of the process, then the statement the honorary degree in the field of study from the graduate school is equal to the honorary doctoral degree in the field of study from the graduate school has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Cars.kif 933-946	If an object is an instance of leaf spring and the object is a part of another object and the other object is an instance of road vehicle, then the statement there exists the object2 such that the object2 is an instance of leaf spring and the object2 is a part of the other object and the object is not equal to the object2 and the object meets the object2 has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2595-2615	If a policy is an instance of daily housekeeping and an organization enacts policy the policy, then the statement there exist a human and a temporary residence such that the human is a guest at the organization and the human stays at the temporary residence and a time interval is equal to the time of existence of the human stays at the temporary residence and for all another time interval if the other time interval is an instance of day and the other time interval takes place during the time interval, then there exists a third time interval such that the third time interval is an instance of service and the temporary residence is a patient of the third time interval and the third time interval takes place during the other time interval holds during the time interval has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2622-2638	If a policy is an instance of no housekeeping and an organization enacts policy the policy and traveler accommodation is an attribute of the organization, then the statement there exist a human and a temporary residence such that the human is a guest at the organization and there doesn't exist a process such that the process is an instance of service and the temporary residence is a patient of the process holds during the time of existence of the human stays at the temporary residence has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2645-2660	If a policy is an instance of with housekeeping and an organization enacts policy the policy and traveler accommodation is an attribute of the organization, then the statement there exist a human and a temporary residence such that the human is a guest at the organization and there exists a process such that the process is an instance of service and the temporary residence is a patient of the process holds during the time of existence of the human stays at the temporary residence has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1608-1616	If a process is an instance of violence and an agent is an agent of the process, then the statement anger is an attribute of the agent holds during the time of existence of the process has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1178-1197	If a cognitive agent is an instance of restaurant and an object is an instance of dining room and PrivateAttribute is an attribute of the object and the cognitive agent possesses the object and the cognitive agent is a customer of another cognitive agent and a process is an instance of eating and the other cognitive agent is an agent of the process and the other cognitive agent is an instance of group of people, then the statement there doesn't exist a third cognitive agent such that the cognitive agent is a customer of the third cognitive agent and the other cognitive agent is not equal to the third cognitive agent and another process is an instance of eating and the third cognitive agent is an agent of the other process and the other process is located at 2 holds during the time of existence of the process has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1588-1596	If a process is an instance of laughing and an agent experiences the process, then the statement happiness is an attribute of the agent holds during the time of existence of the process has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1576-1584	If a process is an instance of smiling and an agent experiences the process, then the statement happiness is an attribute of the agent holds during the time of existence of the process has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	LinkedInDegrees.kif 263-274	If an entity is an instance of student and a process is an instance of awarding a degree and the process ends up at the entity and the associates degree in a field of study from a human is a patient of the process and the human is an agent of the process and there exists a physical quantity such that the physical quantity is an instance of time interval and the human attends the entity holds during the physical quantity, then the statement the physical quantity is equal to 2 year duration(s) has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	LinkedInDegrees.kif 291-303	If an entity is an instance of student and a process is an instance of awarding a degree and the process ends up at the entity and the degree in a field of study from the entityCHOOL is a patient of the process and the entityCHOOL is an agent of the process and there exists a physical quantity such that the physical quantity is an instance of time interval and the entityCHOOL attends the entity holds during the physical quantity, then the statement the physical quantity is equal to 4 year duration(s) has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	LinkedInDegrees.kif 335-347	If an entity is an instance of student and a process is an instance of awarding a degree and the process ends up at the entity and a masters degree in a field of study from a graduate school is a patient of the process and the graduate school is an agent of the process and there exists a physical quantity such that the physical quantity is an instance of time interval and the entityCHOOL attends the entity holds during the physical quantity, then the statement the physical quantity is equal to 2 year duration(s) 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: