Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Formula
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Formula Sentence) | Merge.kif 1642-1642 | Formula is a subclass of sentence |
| (documentation Formula EnglishLanguage "A syntactically well-formed formula in the SUO-KIF knowledge representation language.") | Merge.kif 1644-1645 | Formula is a subclass of sentence |
| appearance as argument number 2 |
|
|
| (range PremisesFn Formula) | Merge.kif 17234-17234 | The range of premises is an instance of formula |
| (termFormat EnglishLanguage Formula "formula") | english_format.kif 900-900 | The range of premises is an instance of formula |
| appearance as argument number 3 |
|
|
| antecedent |
|
|
| (=> (and (instance ?FORMULA1 Formula) (instance ?FORMULA2 Formula)) (or (increasesLikelihood ?FORMULA1 ?FORMULA2) (decreasesLikelihood ?FORMULA1 ?FORMULA2) (independentProbability ?FORMULA1 ?FORMULA2))) |
Merge.kif 2756-2763 | If X is an instance of formula and Y is an instance of formula, then At least one of the following holds: (1) X increases likelihood of Y (2) X decreases likelihood of Y (3) probability of X and Y is independent |
| (=> (and (instance ?QUESTION Questioning) (agent ?QUESTION ?AGENT) (containsFormula ?QUESTION ?FORMULA) (instance ?FORMULA Formula)) (holdsDuring (WhenFn ?QUESTION) (not (knows ?AGENT ?FORMULA)))) |
Merge.kif 13513-13522 | If X is an instance of questioning, Y is an agent of X, X contains the formula Z, and Z is an instance of formula, then Y doesn't know Z holds during the time of existence of X |
| (=> (and (instance ?COMMIT Committing) (containsFormula ?COMMIT ?FORMULA) (instance ?FORMULA Formula)) (modalAttribute ?FORMULA Promise)) |
Merge.kif 13529-13534 | If X is an instance of committing, X contains the formula Y, and Y is an instance of formula, then the statement Y has the modal force of promise |
| (=> (and (confidenceInterval ?EXPERIMENT ?CONFIDENCE) (instance ?EXPERIMENT Experimenting) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA) (equal ?CONFIDENCE 100)) (truth ?FORMULA True)) |
UXExperimentalTerms.kif 540-547 | If X is the confidence in Y, Y is an instance of experimenting, Z is an instance of formula, Z is a patient of Y, and equal X and 100, then Z is true |
| (=> (and (confidenceInterval ?EXPERIMENT ?CONFIDENCE) (instance ?EXPERIMENT Experimenting) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA) (equal ?CONFIDENCE 100)) (truth ?FORMULA False)) |
UXExperimentalTerms.kif 549-556 | If X is the confidence in Y, Y is an instance of experimenting, Z is an instance of formula, Z is a patient of Y, and equal X and 100, then Z is false |
| (=> (and (pValue ?EXPERIMENT ?VALUE) (instance ?EXPERIMENT Experimenting) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA) (equal ?VALUE 0)) (truth ?FORMULA True)) |
UXExperimentalTerms.kif 577-584 | If the p-value of X is Y, X is an instance of experimenting, Z is an instance of formula, Z is a patient of X, and equal Y and 0, then Z is true |
| (=> (and (pValue ?EXPERIMENT ?VALUE) (instance ?EXPERIMENT Experimenting) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA) (equal ?VALUE 1)) (truth ?FORMULA False)) |
UXExperimentalTerms.kif 586-593 | If the p-value of X is Y, X is an instance of experimenting, Z is an instance of formula, Z is a patient of X, and equal Y and 1, then Z is false |
| consequent |
|
|
| (=> (and (instance ?REL PropositionalAttitude) (?REL ?AGENT ?FORMULA)) (instance ?FORMULA Formula)) |
Merge.kif 2811-2815 | If X is an instance of propositional attitude and X Y and Z, then Z is an instance of formula |
| (=> (instance ?P Phishing) (exists (?FS ?V ?M ?I) (and (instance ?M Communication) (origin ?M ?FS) (agent ?P ?FS) (destination ?M ?V) (instance ?I Formula) (knows ?V ?I) (not (desires ?V (knows ?FS ?I))) (desires ?FS (knows ?FS ?I))))) |
ComputingBrands.kif 4141-4155 | If X is an instance of phishing, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that W is an instance of communication (3) W originates at Y (4) Y is an agent of X (5) W ends up at Z (6) V is an instance of formula (7) Z knows V (8) Z doesn't desire Y doesn't know V (9) Y desires Y knows V |
| (=> (instance ?CONST Constitution) (exists (?FORMULA ?PART) (and (instance ?FORMULA Formula) (containsFormula ?PART ?FORMULA) (instance ?PART Proposition) (subProposition ?PART ?CONST) (modalAttribute ?FORMULA Obligation)))) |
Government.kif 617-625 | If X is an instance of constitution, then there exist Y, Z such that Y is an instance of formula, Z contains the formula Y, Z is an instance of proposition, Z is a sub-proposition of X, and the statement Y has the modal force of obligation |
| (=> (instance ?CONST Constitution) (exists (?FORMULA ?PART) (and (instance ?FORMULA Formula) (containsFormula ?PART ?FORMULA) (instance ?PART Proposition) (subProposition ?PART ?CONST) (modalAttribute ?FORMULA Permission)))) |
Government.kif 627-635 | If X is an instance of constitution, then there exist Y, Z such that Y is an instance of formula, Z contains the formula Y, Z is an instance of proposition, Z is a sub-proposition of X, and the statement Y has the modal force of permission |
| (=> (and (instance ?W Worrying) (experiencer ?W ?A) (instance ?A Human)) (fears ?A (holdsDuring (ImmediateFutureFn (WhenFn ?W)) (exists (?F) (and (instance ?F Formula) (containsFormula ?W ?F) (truth ?F True)))))) |
emotion.kif 1617-1630 | If X is an instance of worrying, Y experiences X, and Y is an instance of human, then Y fears there exists Z such that Z is an instance of formula, X contains the formula Z, and Z is true holds during immediately after the time of existence of X |
| statement |
|
|
|