Likely - Sigma Knowledge base Browser

appearance as argument number 1

s__contraryAttribute__2(s__Likely,s__Unlikely)	Merge.kif 17942-17942	Likely is the opposite of unlikely
s__documentation(s__Likely,s__ChineseLanguage,'这是表示有可能发生的 ProbabilityAttribute，即是有可能是 True 的机会比不可能的大。')	Merge.kif 17945-17946
s__documentation(s__Likely,s__EnglishLanguage,'The ProbabilityAttribute of being probable, i.e. more likely than not to be True.')	Merge.kif 17943-17944
s__instance(s__ProbabilityAttribute,s__SetOrClass) s__instance(s__Likely,s__ProbabilityAttribute)	Merge.kif 17941-17941	Likely is an instance of probability attribute

appearance as argument number 2

s__termFormat(s__EnglishLanguage,s__Likely,'likely')

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 17948-17950

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 11682-11692	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 319-325	If an Image is the image on an album and an object is an instance of the set of copies on a kind of DataStorageDevice 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.	Merge.kif 18835-18840	If defaultMaxValue a predicate, a positive integer and 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 18820-18825	If defaultMinValue a predicate, a positive integer and 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 18850-18855	If defaultValue a predicate, a positive integer and 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.	Cars.kif 2571-2584	If the idle speed of an internal combustion engine is the rotation of a rotating 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 rotating during the time duration, then the statement the other rotating is greater than the rotating has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3049-3063	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 ComputerDisplay 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 2553-2569	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 28798-28819	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 4884-4898	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 L2 such that the entity is an instance of leg and another entity is an instance of leg 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.	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 4552-4569	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.	Cars.kif 892-905	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 an entity and another entity such that the entity is a guest at the organization and the entity stays at the other entity and a third entity is equal to the time of existence of the entity stays at the other entity and for all a fourth entity if the fourth entity is an instance of day and the fourth entity takes place during the third entity, then there exists a fifth entity such that the fifth entity is an instance of service and the other entity is a patient of the fifth entity and the fifth entity takes place during the fourth entity holds during the third entity 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 an entity and another entity such that the entity is a guest at the organization and there doesn't exist a third entity such that the third entity is an instance of service and the other entity is a patient of the third entity holds during the time of existence of the entity stays at the other entity 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 an entity and another entity such that the entity is a guest at the organization and there exists a third entity such that the third entity is an instance of service and the other entity is a patient of the third entity holds during the time of existence of the entity stays at the other entity 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 an entity such that the cognitive agent is a customer of the entity and the other cognitive agent is not equal to the entity and another entity is an instance of eating and the entity is an agent of the other entity and the other entity 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.	Mid-level-ontology.kif 2446-2455	If a transfer is an instance of Vending and the object transferred in the transfer is an object and the object is not an instance of currency, then the statement the object is an instance of food for human or the object is an instance of beverage has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Dining.kif 298-306	If an object is an instance of buffet and breakfast is an attribute of the object, then the statement for all an entity if the entity is a member of the object, then breakfast is an attribute of the entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Food.kif 167-176	If an object is an instance of meal and breakfast is an attribute of the object and a process is an instance of eating and the object is a patient of the process, then the statement the time of existence of the process takes place during an entity and the entity is an instance of breakfast time has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Food.kif 211-220	If an object is an instance of meal and dinner is an attribute of the object and a process is an instance of eating and the object is a patient of the process, then the statement the time of existence of the process takes place during an entity and the entity is an instance of dinner time has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Food.kif 195-204	If an object is an instance of meal and lunch is an attribute of the object and a process is an instance of eating and the object is a patient of the process, then the statement the time of existence of the process takes place during an entity and the entity is an instance of lunch time has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 339-355	If the price of a kind of entity from a 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 a kind of entity and the kind of entity is a subclass of physical and another entity is an immediate instance of the kind of entity and the pricing scheme is valid for a kind of agent and a third entity is an instance of a kind of agent, then the statement if a fourth entity is an instance of buying and the third entity is an agent of the fourth entity and the fourth entity originates at the cognitive agent and the other entity is a patient of the fourth entity, then the currency measure is a transaction amount of the fourth entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 357-372	If the price of a kind of entity from a 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 a kind of entity and the kind of entity is a subclass of physical and another entity is an immediate instance of the kind of entity and the pricing scheme is valid during a time interval, then the statement if a third entity is an instance of the third entityELLING and the cognitive agent is an agent of the third entity and the other entity is a patient of the third entity, then the currency measure is a transaction amount of the third entity has the modal force of likely holds during a time position
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 415-427	If a cognitive agent sells a kind of entity for a currency measure and the price of a kind of entity from the cognitive agent according to a pricing scheme is another currency measure and the pricing scheme is valid for a kind of agent and another entity is an instance of the kind of entity and a process is an instance of buying and another agent is an immediate instance of a kind of agent and the other agent is an agent of the process and the process originates at the cognitive agent and the other currency measure is less than the currency measure, then the statement the currency measure is a transaction amount of the process 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: