Formula |
appearance as argument number 1 |
(documentation Formula ChineseLanguage "一个句法结构良好、以SUO-KIF知识表示语言的公式。") | chinese_format.kif 1682-1682 | |
(documentation Formula EnglishLanguage "A syntactically well-formed formula in the SUO-KIF knowledge representation language.") | Merge.kif 1549-1550 | |
(documentation Formula JapaneseLanguage "SUO-KIF知識表現言語の構文的な完全論理式。") | japanese_format.kif 274-274 | |
(documentation Formula SpanishLanguage "Una fórmula bien formada sintácticamente en el SUO-KIF, un lenguaje de representación de conocimiento.") | spanish_format.kif 323-324 | |
(subclass Formula Sentence) | Merge.kif 1547-1547 | 子類 Formula and Sentence |
appearance as argument number 2 |
(termFormat ChineseLanguage Formula "公式") | chinese_format.kif 847-847 | |
(termFormat EnglishLanguage Formula "formula") | english_format.kif 896-896 | |
(termFormat FrenchLanguage Formula "formule") | french_format.kif 523-523 | |
(termFormat Hindi Formula "sUtra") | terms-hindi.txt 54-54 | |
(termFormat ItalianLanguage Formula "Formula") | terms-it.txt 57-57 | |
(termFormat JapaneseLanguage Formula "公式") | japanese_format.kif 2208-2208 | |
(termFormat PortugueseLanguage Formula "Formula") | portuguese_format.kif 475-475 | |
(termFormat cz Formula "formula") | terms-cz.txt 90-90 | |
(termFormat ro Formula "formulã") | relations-ro.kif 544-544 | |
(termFormat tg Formula "pormula") | terms-tg.txt 58-58 |
appearance as argument number 3 |
(domain KappaFn 2 Formula) | Merge.kif 5583-5583 | 域 卡帕, 2 and Formula |
(domain ProbabilityFn 1 Formula) | Merge.kif 2573-2573 | 域 可能性, 1 and Formula |
(domain attitudeForFormula 3 Formula) | emotion.kif 2127-2127 | 域 attitudeForFormula, 3 and Formula |
(domain believes 2 Formula) | Merge.kif 2811-2811 | 域 相信, 2 and Formula |
(domain causesProposition 1 Formula) | Merge.kif 3822-3822 | 域 引起提案, 1 and Formula |
(domain causesProposition 2 Formula) | Merge.kif 3823-3823 | 域 引起提案, 2 and Formula |
(domain conditionalProbability 1 Formula) | Merge.kif 2583-2583 | 域 條件概率, 1 and Formula |
(domain conditionalProbability 2 Formula) | Merge.kif 2584-2584 | 域 條件概率, 2 and Formula |
(domain confersNorm 2 Formula) | Merge.kif 3993-3993 | 域 賦予規範, 2 and Formula |
(domain confersObligation 1 Formula) | Merge.kif 17476-17476 | 域 授予義務, 1 and Formula |
(domain confersRight 1 Formula) | Merge.kif 17455-17455 | 域 賦予權利, 1 and Formula |
(domain considers 2 Formula) | Merge.kif 2801-2801 | 域 考慮, 2 and Formula |
(domain containsFormula 2 Formula) | Merge.kif 1368-1368 | 域 containsFormula, 2 and Formula |
(domain decreasesLikelihood 1 Formula) | Merge.kif 2616-2616 | 域 降低可能性, 1 and Formula |
(domain decreasesLikelihood 2 Formula) | Merge.kif 2617-2617 | 域 降低可能性, 2 and Formula |
(domain deprivesNorm 2 Formula) | Merge.kif 4015-4015 | 域 剝奪了規範, 2 and Formula |
(domain describes 1 Formula) | Mid-level-ontology.kif 16146-16146 | 域 describes, 1 and Formula |
(domain desires 2 Formula) | Merge.kif 2789-2789 | 域 慾望, 2 and Formula |
(domain disapproves 2 Formula) | Mid-level-ontology.kif 7440-7440 | 域 不贊成, 2 and Formula |
(domain doubts 2 Formula) | Mid-level-ontology.kif 7410-7410 | 域 疑惑, 2 and Formula |
(domain entails 1 Formula) | Merge.kif 770-770 | 域 意味, 1 and Formula |
(domain entails 2 Formula) | Merge.kif 771-771 | 域 意味, 2 and Formula |
(domain expects 2 Formula) | Merge.kif 10612-10612 | 域 預計, 2 and Formula |
(domain hasPurpose 2 Formula) | Merge.kif 3946-3946 | 域 有目的, 2 and Formula |
(domain hasPurposeForAgent 2 Formula) | Merge.kif 3962-3962 | 域 有代理人的目的, 2 and Formula |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
(=> (and (agreementEffectiveDuring ?AGR ?DATE) (instance ?TIME ?DATE) (instance ?FORMULA Formula) (containsInformation ?FORMULA ?AGR)) (holdsDuring ?TIME ?FORMULA)) |
Government.kif 766-772 |
|
(=> (and (confidenceInterval ?EXPERIMENT ?CONFIDENCE) (instance ?EXPERIMENT Experimenting) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA) (equal ?CONFIDENCE 100)) (truth ?FORMULA False)) |
UXExperimentalTerms.kif 549-556 | |
(=> (and (confidenceInterval ?EXPERIMENT ?CONFIDENCE) (instance ?EXPERIMENT Experimenting) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA) (equal ?CONFIDENCE 100)) (truth ?FORMULA True)) |
UXExperimentalTerms.kif 540-547 | |
(=> (and (confidenceInterval ?EXPERIMENT ?CONFIDENCE) (instance ?EXPERIMENT Experimenting) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA)) (represents ?CONFIDENCE (ProbabilityFn ?FORMULA))) |
UXExperimentalTerms.kif 531-537 | |
(=> (and (instance ?COMMIT Committing) (patient ?COMMIT ?FORMULA) (instance ?FORMULA Formula)) (modalAttribute ?FORMULA Promise)) |
Merge.kif 13248-13253 | |
(=> (and (instance ?FORMULA1 Formula) (instance ?FORMULA2 Formula)) (or (increasesLikelihood ?FORMULA1 ?FORMULA2) (decreasesLikelihood ?FORMULA1 ?FORMULA2) (independentProbability ?FORMULA1 ?FORMULA2))) |
Merge.kif 2647-2654 | |
(=> (and (instance ?QUESTION Questioning) (agent ?QUESTION ?AGENT) (patient ?QUESTION ?FORMULA) (instance ?FORMULA Formula)) (holdsDuring (WhenFn ?QUESTION) (not (knows ?AGENT ?FORMULA)))) |
Merge.kif 13235-13241 | |
(=> (and (instance ?REQUEST Requesting) (agent ?REQUEST ?AGENT) (patient ?REQUEST ?FORMULA) (instance ?FORMULA Formula)) (desires ?AGENT ?FORMULA)) |
Merge.kif 13222-13228 |
|
(=> (and (instance ?STATE Stating) (agent ?STATE ?AGENT) (patient ?STATE ?FORMULA) (instance ?FORMULA Formula)) (holdsDuring (WhenFn ?STATE) (believes ?AGENT ?FORMULA))) |
Merge.kif 13164-13170 | |
(=> (and (instance ?TEXT ?CLASS) (subclass ?CLASS FactualText) (authors ?AGENT ?CLASS) (subsumesContentInstance ?TEXT ?CONTENT) (instance ?CONTENT Formula)) (believes ?AGENT ?CONTENT)) |
Merge.kif 15422-15429 |
|
(=> (and (pValue ?EXPERIMENT ?VALUE) (instance ?EXPERIMENT Experimenting) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA) (equal ?VALUE 0)) (truth ?FORMULA True)) |
UXExperimentalTerms.kif 577-584 | |
(=> (and (pValue ?EXPERIMENT ?VALUE) (instance ?EXPERIMENT Experimenting) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA) (equal ?VALUE 1)) (truth ?FORMULA False)) |
UXExperimentalTerms.kif 586-593 | |
(=> (and (pValue ?EXPERIMENT ?VALUE) (instance ?EXPERIMENT Experimenting) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA)) (represents ?VALUE (ProbabilityFn ?FORMULA))) |
UXExperimentalTerms.kif 569-575 |
consequent |