  Browsing Interface : Welcome guest : log in [  Home |  Graph |  ]  KB:  SUMO Language:  AlbanianLanguageArabicLanguageBasqueLanguageBulgarianLanguageCatalanLanguageChineseLanguageChineseTraditionalLanguageCroatianLanguageDanishLanguageDefraudingEnglishLanguageFarsiLanguageFinnishLanguageFrenchLanguageGalicianLanguageGermanLanguageGreekLanguageHaboobHebrewLanguageIcelandicLanguageIndonesianLanguageItalianLanguageJapaneseLanguageMalayLanguageNorwegianBokmalLanguageNorwegianNorskLanguagePolishLanguagePortugueseLanguageSpanishLanguageSwedishLanguageTaiwanChineseLanguageThaiLanguage   Formal Language:  OWLSUO-KIFTPTPtraditionalLogic

 KB Term: Term intersection English Word: Any Noun Verb Adjective Adverb

Sigma KEE - ProbabilityFn
 ProbabilityFn

 appearance as argument number 1 (documentation ProbabilityFn ChineseLanguage "这是其中一个基本的 ProbabilityRelation， ProbabilityFn 是用来描述事态的先验机率。(ProbabilityFn ?FORMULA)表示 ?FORMULA 的先验机率。") chinese_format.kif 1901-1902 (documentation ProbabilityFn EnglishLanguage "One of the basic ProbabilityRelations, ProbabilityFn is used to state the a priori probability of a state of affairs. (ProbabilityFn ?FORMULA) denotes the a priori probability of ?FORMULA.") Merge.kif 2477-2480 (domain ProbabilityFn 1 Formula) Merge.kif 2473-2473 The number 1 argument of probability is an instance of formula (instance ProbabilityFn AsymmetricRelation) Merge.kif 2475-2475 Probability is an instance of asymmetric relation (instance ProbabilityFn ProbabilityRelation) Merge.kif 2470-2470 Probability is an instance of probability relation (instance ProbabilityFn TotalValuedRelation) Merge.kif 2471-2471 Probability is an instance of total valued relation (instance ProbabilityFn UnaryFunction) Merge.kif 2472-2472 Probability is an instance of unary function (range ProbabilityFn RealNumber) Merge.kif 2474-2474 The range of probability is an instance of real number

 appearance as argument number 2 (format ChineseLanguage ProbabilityFn "%1 的机率") chinese_format.kif 271-271 (format EnglishLanguage ProbabilityFn "the probability of %1") english_format.kif 279-279 (termFormat ChineseLanguage ProbabilityFn "可能性") domainEnglishFormat.kif 47431-47431 "可能性" is the printable form of probability in ChineseLanguage (termFormat ChineseLanguage ProbabilityFn "表示机率的函数") chinese_format.kif 272-272 "表示机率的函数" is the printable form of probability in ChineseLanguage (termFormat ChineseTraditionalLanguage ProbabilityFn "可能性") domainEnglishFormat.kif 47430-47430 "可能性" is the printable form of probability in ChineseTraditionalLanguage (termFormat EnglishLanguage ProbabilityFn "probability") domainEnglishFormat.kif 47429-47429 "probability" is the printable form of probability in english language

 antecedent (=>     (and         (decreasesLikelihood ?FORMULA1 ?FORMULA2)         (equal             (ProbabilityFn ?FORMULA2) ?NUMBER1)         (conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER2))     (lessThan ?NUMBER2 ?NUMBER1)) Merge.kif 2524-2529 If a formula decreases likelihood of another formula and the probability of the other formula is equal to 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 (=>     (and         (equal ?DEP             (DepartmentOfFn ?COMP ?PHYS))         (subOrganization ?DEP2 ?COMP)         (not             (equal ?DEP ?DEP2))         (instance ?I ?PHYS)         (inScopeOfInterest ?P ?I)         (equal ?P1             (ProbabilityFn                 (agent ?P ?DEP)))         (equal ?P2             (ProbabilityFn                 (agent ?P ?DEP2))))     (greaterThan ?P1 ?P2)) Mid-level-ontology.kif 16042-16056 If an organization is equal to the department of a kind of physical in another organization and the organization2 は組織 the other organization の一部では %n and the organization is not equal to the organization2 and an entity is an instance of a kind of physical and a cognitive agent is interested in the entity and the cognitive agent1 is equal to the probability of the organization is an agent of the cognitive agent and the cognitive agent2 is equal to the probability of the organization2 is an agent of the cognitive agent,then the cognitive agent1 is greater than the cognitive agent2 (=>     (and         (governorSpeed ?V ?Q)         (equal ?FASTPROB             (ProbabilityFn                 (measure ?V                     (PerFn ?L1 ?T1))))         (equal ?SLOWPROB             (ProbabilityFn                 (measure ?V                     (PerFn ?L2 ?T2))))         (greaterThan             (PerFn ?L1 ?T1)             (PerFn ?L2 ?T2)))     (greaterThan ?SLOWPROB ?FASTPROB)) Cars.kif 2868-2882 If the maximum speed allowed by a governor is a function quantity and a real number is equal to the probability of the measure of the governor is the per of a physical quantity and another physical quantity and another real number is equal to the probability of the measure of the governor is the per of a third physical quantity and a fourth physical quantity and the per of the physical quantity and the other physical quantity is greater than the per of the third physical quantity and the fourth physical quantity,then the other real number is greater than the real number (=>     (and         (increasesLikelihood ?FORMULA1 ?FORMULA2)         (equal             (ProbabilityFn ?FORMULA2) ?NUMBER1)         (conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER2))     (greaterThan ?NUMBER2 ?NUMBER1)) Merge.kif 2507-2512 If a formula increases likelihood of another formula and the probability of the other formula is equal to 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 (=>     (and         (independentProbability ?FORMULA1 ?FORMULA2)         (equal             (ProbabilityFn ?FORMULA2) ?NUMBER1)         (conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER2))     (equal ?NUMBER2 ?NUMBER1)) Merge.kif 2541-2546 If probability of a formula and another formula is independent and the probability of the other formula is equal to a real number and probability of the formula provided that the other formula holds is another real number,then the other real number is equal to the real number (=>     (and         (topSpeed ?V ?Q)         (equal ?FASTPROB             (ProbabilityFn                 (measure ?V                     (SpeedFn ?L1 ?T1))))         (equal ?SLOWPROB             (ProbabilityFn                 (measure ?V                     (SpeedFn ?L2 ?T2))))         (greaterThan             (SpeedFn ?L1 ?T1) ?V)         (greaterThan ?V             (SpeedFn ?L2 ?T2)))     (greaterThan ?SLOWPROB ?FASTPROB)) Transportation.kif 1711-1726 If the top speed of a vehicle is a function quantity and a real number is equal to the probability of the measure of the vehicle is a length measure per a time duration and another real number is equal to the probability of the measure of the vehicle is another length measure per another time duration and the length measure per the time duration is greater than the vehicle and the vehicle is greater than the other length measure per the other time duration,then the other real number is greater than the real number (=>     (and         (typicalAction ?PROCESS ?AGENT)         (instance ?A ?AGENT)         (equal ?PPROB             (ProbabilityFn                 (exists (?X)                     (and                         (instance ?X ?PROCESS)                         (agent ?X ?A)))))         (equal ?NOTPPROB             (ProbabilityFn                 (not                     (exists (?Y)                         (and                             (instance ?Y ?PROCESS)                             (agent ?Y ?A)))))))     (greaterThan ?PPROB ?NOTPPROB)) Mid-level-ontology.kif 20709-20726 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 a real number is equal to 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 another real number is equal to 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 (=>     (and         (typicalPart ?PART ?WHOLE)         (instance ?X ?PART)         (equal ?PARTPROB             (ProbabilityFn                 (exists (?Y)                     (and                         (instance ?Y ?WHOLE)                         (part ?X ?Y)))))         (equal ?NOTPARTPROB             (ProbabilityFn                 (not                     (exists (?Z)                         (and                             (instance ?Z ?WHOLE)                             (part ?X ?Z)))))))     (greaterThan ?PARTPROB ?NOTPARTPROB)) Mid-level-ontology.kif 21553-21570 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 the kind of objectPROB is equal to 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 another real number is equal to 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 (=>     (and         (typicalTemporalPart ?PART ?WHOLE)         (instance ?X ?PART)         (equal ?PARTPROB             (ProbabilityFn                 (exists (?Y)                     (and                         (instance ?Y ?WHOLE)                         (temporalPart ?X ?Y)))))         (equal ?NOTPARTPROB             (ProbabilityFn                 (not                     (exists (?Z)                         (and                             (instance ?Z ?WHOLE)                             (temporalPart ?X ?Z)))))))     (greaterThan ?PARTPROB ?NOTPARTPROB)) Cars.kif 1448-1465 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 the kind of processPROB is equal to 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 another real number is equal to 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 (=>     (and         (typicallyContainsPart ?PART ?WHOLE)         (instance ?Y ?WHOLE)         (equal ?PARTPROB             (ProbabilityFn                 (exists (?X1)                     (and                         (instance ?X1 ?PART)                         (part ?X1 ?Y)))))         (equal ?NOTPARTPROB             (ProbabilityFn                 (not                     (exists (?X2)                         (and                             (instance ?X2 ?PART)                             (part ?X2 ?Y)))))))     (greaterThan ?PARTPROB ?NOTPARTPROB)) Mid-level-ontology.kif 21590-21607 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 another kind of objectPROB is equal to 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 another real number is equal to 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 (=>     (and         (typicallyContainsTemporalPart ?PART ?WHOLE)         (instance ?Y ?WHOLE)         (equal ?PARTPROB             (ProbabilityFn                 (exists (?X1)                     (and                         (instance ?X1 ?PART)                         (temporalPart ?X1 ?Y)))))         (equal ?NOTPARTPROB             (ProbabilityFn                 (not                     (exists (?X2)                         (and                             (instance ?X2 ?PART)                             (temporalPart ?X2 ?Y)))))))     (greaterThan ?PARTPROB ?NOTPARTPROB)) Cars.kif 1488-1505 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 another kind of processPROB is equal to 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 another real number is equal to 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 (=>     (and         (confidenceInterval ?EXPERIMENT ?CONFIDENCE)         (instance ?EXPERIMENT Experimenting)         (instance ?FORMULA Formula)         (patient ?EXPERIMENT ?FORMULA))     (represents ?CONFIDENCE         (ProbabilityFn ?FORMULA))) UXExperimentalTerms.kif 660-666 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 (=>     (and         (pValue ?EXPERIMENT ?VALUE)         (instance ?EXPERIMENT Experimenting)         (instance ?FORMULA Formula)         (patient ?EXPERIMENT ?FORMULA))     (represents ?VALUE         (ProbabilityFn ?FORMULA))) UXExperimentalTerms.kif 702-708 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 (=>     (emotionTendency ?A ?ES)     (greaterThan         (ProbabilityFn             (attribute ?A ?ES))         (ProbabilityFn             (not                 (attribute ?A ?ES))))) emotion.kif 146-153 If an agent tends to be 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 (=>     (instance ?EXPERIMENT Experimenting)     (exists (?FORMULA ?RESULT)         (and             (instance ?RESULT Formula)             (result ?EXPERIMENT ?RESULT)             (instance ?FORMULA Formula)             (patient ?EXPERIMENT ?FORMULA)             (represents                 (ProbabilityFn ?FORMULA) ?RESULT)))) UXExperimentalTerms.kif 4002-4012 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 (=>     (modalAttribute ?FORMULA Likely)     (greaterThan         (ProbabilityFn             (truth ?FORMULA True))         (ProbabilityFn             (truth ?FORMULA False)))) Merge.kif 16200-16202 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 (=>     (modalAttribute ?FORMULA Unlikely)     (greaterThan         (ProbabilityFn             (truth ?FORMULA False))         (ProbabilityFn             (truth ?FORMULA True)))) Merge.kif 16208-16210 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 (=>     (tTest ?SAMPLE_COLL1 ?SAMPLE_COLL2 ?PROB)     (exists (?POP1 ?POP2 ?EXPERIMENT)         (and             (instance ?POP_COLL1 Collection)             (instance ?POP_COLL2 Collection)             (statisticalPopulation ?SAMPLE_COLL1 ?POP_COLL1 ?EXPERIMENT)             (statisticalPopulation ?SAMPLE_COLL2 ?POP_COLL2 ?EXPERIMENT)             (equal ?PROB                 (ProbabilityFn                     (equal ?POP1 ?POP2)))))) UXExperimentalTerms.kif 747-757 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 another entity, a third entity and an experimenting such that a fourth entity_COLL1 is an instance of collection and the fourth entity_COLL2 is an instance of collection and the entity_COLL1 is a sample of the fourth entity_COLL1 for the experimenting and the entity_COLL2 is a sample of the fourth entity_COLL2 for the experimenting and the real number is equal to the probability of the other entity is equal to the third entity 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