ProbabilityFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - ProbabilityFn

ProbabilityFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1901-1902
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2587-2590
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 527-529
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2584-2584	The number 1 argument of probability is an instance of formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2581-2581	Probability is an instance of probability relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2582-2582	Probability is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2583-2583	Probability is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2585-2585	The range of probability is an instance of real number

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 271-271
No TPTP formula. May not be expressible in strict first order.	english_format.kif 276-276
No TPTP formula. May not be expressible in strict first order.	french_format.kif 154-154
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 232-232
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1982-1982
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 106-106
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 350-350
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 270-270
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 173-173
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 160-160
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 424-424
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47494-47494
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 272-272
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47493-47493
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47492-47492
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 112-112

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 2634-2639	If a formula decreases likelihood of another formula and equal the probability of the other formula and a real number and probability of the formula provided that the other formula holds is another real number, then the other real number is less than the real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19914-19929	If equal an organization and the department of a kind of physical in another organization and the organization2 is a part of the organization the other organization and equal the organization and the organization2 and an entity is an instance of a kind of physical and the organization is interested in the entity and equal a real number and the probability of the organization is an agent of another entity and equal the other entity2 and the probability of the organization2 is an agent of the other entity, then the real number is greater than the other entity2
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2868-2886	If the maximum speed allowed by a governor is a function quantity and equal a real number miles per hour(s) and a length measure per a time duration and equal another real number miles per hour(s) and another length measure per another time duration and the real number is greater than the other real number and equal the real numberPROB and the probability of the measure of the governor is the real number miles per hour(s) and equal the other real numberPROB and the probability of the measure of the governor is the other real number miles per hour(s), then the other real numberPROB is greater than the real numberPROB
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2617-2622	If a formula increases likelihood of another formula and equal the probability of the other formula and a real number and probability of the formula provided that the other formula holds is another real number, then the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2651-2656	If probability of a formula and another formula is independent and equal the probability of the other formula and a real number and probability of the formula provided that the other formula holds is another real number, then equal the other real number and the real number
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1858-1876	If the top speed of a vehicle is a real number an unit of measure(s) and the unit of measure is an instance of composite unit of measure and an entity is an instance of unit of length and another entity is an instance of unit of duration and equal another real number and the probability of the measure of the vehicle is a length measure the entity(s) per a time duration the other entity(s) and equal a third real number and the probability of the measure of the vehicle is another length measure the entity(s) per another time duration the other entity(s) and the length measure per the time duration is greater than the real number and the real number is greater than the other length measure per the other time duration, then the third real number is greater than the other real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24473-24490	If a kind of process is a typical action of a a kind of agent and an entity is an instance of a kind of agent and equal a real number and the probability of there exists another entity such that the other entity is an instance of a kind of process and the entity is an agent of the other entity and equal another real number and the probability of there doesn't exist a third entity such that the third entity is an instance of the kind of process and the entity is an agent of the third entity, then the real number is greater than the other real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25281-25298	If a a kind of object is typically a part of a another kind of object and an entity is an instance of a kind of object and equal the kind of objectPROB and the probability of there exists another entity such that the other entity is an instance of another kind of object and the entity is a part of the other entity and equal another real number and the probability of there doesn't exist a third entity such that the third entity is an instance of the other kind of object and the entity is a part of the third entity, then the kind of objectPROB is greater than the other real number
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1453-1470	If a a kind of process is typically a part of a another kind of process and an entity is an instance of a kind of process and equal the kind of processPROB and the probability of there exists another entity such that the other entity is an instance of another kind of process and the entity is a part of the other entity and equal another real number and the probability of there doesn't exist a third entity such that the third entity is an instance of the other kind of process and the entity is a part of the third entity, then the kind of processPROB is greater than the other real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25319-25336	If a a kind of object typically has a part another kind of object and an entity is an instance of a kind of object and equal another kind of objectPROB and the probability of there exists another entity such that the other entity is an instance of the other kind of object and the other entity is a part of the entity and equal another real number and the probability of there doesn't exist a third entity such that the third entity is an instance of the other kind of object and the third entity is a part of the entity, then the other kind of objectPROB is greater than the other real number
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1493-1510	If a a kind of process typically contains a another kind of process and an entity is an instance of a kind of process and equal another kind of processPROB and the probability of there exists another entity such that the other entity is an instance of the other kind of process and the other entity is a part of the entity and equal another real number and the probability of there doesn't exist a third entity such that the third entity is an instance of the other kind of process and the third entity is a part of the entity, then the other kind of processPROB is greater than the other real number

consequent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 531-537	If a real number is the confidence in an experimenting and the experimenting is an instance of experimenting and a formula is an instance of formula and the formula is a patient of the experimenting, then the real number expresses the probability of the formula
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 569-575	If the p-value of an experimenting is a real number and the experimenting is an instance of experimenting and a formula is an instance of formula and the formula is a patient of the experimenting, then the real number expresses the probability of the formula
No TPTP formula. May not be expressible in strict first order.	emotion.kif 146-153	If emotion tendency an agent and an emotional state, then the probability of the emotional state is an attribute of the agent is greater than the probability of the emotional state is not an attribute of the agent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3800-3810	If a process is an instance of experimenting, then there exist a formula and an entity such that the entity is an instance of formula and the entity is a result of the process and the formula is an instance of formula and the formula is a patient of the process and the probability of the formula expresses the entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17704-17710	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17716-17722	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
No TPTP formula. May not be expressible in strict first order.	Dining.kif 388-407	If the standard retail hours for an agent are a kind of time interval, then there exist a process, an entity,, , another entity,, , a real number and another real number such that the process is an instance of financial transaction and the agent is an agent of the process and the entity is an instance of a kind of time interval and the process ends up at the other entity and equal the real number and the probability of the time of existence of the process takes place during the entity and the agent is a customer of the other entity and equal the other real number and the probability of the time of existence of the process doesn't take place during the entity and the agent is a customer of the other entity and the real number is greater than the other real number
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 607-617	If the probability that an entity_COLL1 and the entity_COLL2 are part of the same statistical population is a real number, then there exist a collection, another collection and an experimenting such that the collection is an instance of collection and the other collection is an instance of collection and the entity_COLL1 is a sample of the collection for the experimenting and the entity_COLL2 is a sample of the other collection for the experimenting and equal the real number and the probability of equal the collection and the other collection

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