TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17410-17410	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 17411-17412
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17409-17409	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 34406-34406
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34405-34405
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34404-34404

antecedent

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

Merge.kif 17414-17416

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 13949-13959	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 6198-6211	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.	Merge.kif 18327-18332	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 18310-18315	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 18344-18349	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.	Cars.kif 2585-2603	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.	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 24014-24030	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 18106-18116	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.	ComputingBrands.kif 3229-3243	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 2567-2583	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 30767-30788	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 4378-4392	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 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.	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 10007-10030	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 volume measure 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 9977-9998	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 volume measure 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
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2600-2608	If a process is an instance of dust storm and an object is an instance of geographic area and the process is located at the object, then the statement Bad air quality is an attribute of the object has the modal force of likely holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4563-4580	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.	Mid-level-ontology.kif 25156-25177	If a telecom number is an instance of hotline and the telecom number is the telephone number of an agent and the agent is an instance of organization, then the telecom number has the purpose there exists an entity such that the entity is an instance of telephoning and the entity ends up at the agent and the statement there exists another entity such that the other entity is an instance of communication and the telecom number is an instrument for the other entity and the beginning of the time of existence of the other entity is equal to the beginning of immediately after the time of existence of the entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2590-2598	If a process is an instance of atmospheric hazing and an object is an instance of geographic area and the process is located at the object, then the statement Bad air quality is an attribute of the object has the modal force of likely holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1563-1575	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 the objectC and pathologic side effect the objectC and the objectIS, then the statement there exists an entity such that the entity is an instance of the objectIS and the entity experiences the agent has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1545-1554	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 the objectC and the objectIS is a side effect of taking the objectC, then the statement the objectIS is an attribute of the agent has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	TransnationalIssues.kif 88-99	If a transfer is an instance of ingesting and the object transferred in the transfer is an object and the object is an instance of hallucinogen and the transfer ends up at an entity, then the statement there exists the objectAL such that the objectAL is an instance of hallucination and the entity experiences the objectAL has the modal force of likely

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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: