Formula(formule) |
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 1559-1560 | |
(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 1557-1557 | Formule est une sous-classe de phrase |
appearance as argument number 2 |
![]() |
(range PremisesFn Formula) | Merge.kif 17055-17055 | Le domaine de PremisesFn est une instance de formule |
(termFormat ChineseLanguage Formula "公式") | chinese_format.kif 847-847 | Le domaine de PremisesFn est une instance de formule |
(termFormat EnglishLanguage Formula "formula") | english_format.kif 896-896 | Le domaine de PremisesFn est une instance de formule |
(termFormat FrenchLanguage Formula "formule") | french_format.kif 523-523 | Le domaine de PremisesFn est une instance de formule |
(termFormat Hindi Formula "sUtra") | terms-hindi.txt 54-54 | Le domaine de PremisesFn est une instance de formule |
(termFormat ItalianLanguage Formula "Formula") | terms-it.txt 57-57 | Le domaine de PremisesFn est une instance de formule |
(termFormat JapaneseLanguage Formula "公式") | japanese_format.kif 2208-2208 | Le domaine de PremisesFn est une instance de formule |
(termFormat PortugueseLanguage Formula "Formula") | portuguese_format.kif 475-475 | Le domaine de PremisesFn est une instance de formule |
(termFormat cz Formula "formula") | terms-cz.txt 90-90 | Le domaine de PremisesFn est une instance de formule |
(termFormat de Formula "Formel") | terms-de.txt 349-349 | Le domaine de PremisesFn est une instance de formule |
(termFormat ro Formula "formulã") | relations-ro.kif 544-544 | Le domaine de PremisesFn est une instance de formule |
(termFormat tg Formula "pormula") | terms-tg.txt 58-58 | Le domaine de PremisesFn est une instance de formule |
appearance as argument number 3 |
![]() |
(domain KappaFn 2 Formula) | Merge.kif 5608-5608 | Le nombre 2 argument de KappaFn est une instance de formule |
(domain ProbabilityFn 1 Formula) | Merge.kif 2584-2584 | Le nombre 1 argument de ProbabilityFn est une instance de formule |
(domain attitudeForFormula 3 Formula) | emotion.kif 2125-2125 | Le nombre 3 argument de attitudeForFormula est une instance de formule |
(domain believes 2 Formula) | Merge.kif 2822-2822 | Le nombre 2 argument de believes est une instance de formule |
(domain causesProposition 1 Formula) | Merge.kif 3835-3835 | Le nombre 1 argument de causesProposition est une instance de formule |
(domain causesProposition 2 Formula) | Merge.kif 3836-3836 | Le nombre 2 argument de causesProposition est une instance de formule |
(domain conditionalProbability 1 Formula) | Merge.kif 2594-2594 | Le nombre 1 argument de conditionalProbability est une instance de formule |
(domain conditionalProbability 2 Formula) | Merge.kif 2595-2595 | Le nombre 2 argument de conditionalProbability est une instance de formule |
(domain confersNorm 2 Formula) | Merge.kif 4009-4009 | Le nombre 2 argument de confersNorm est une instance de formule |
(domain confersObligation 1 Formula) | Merge.kif 17629-17629 | Le nombre 1 argument de confersObligation est une instance de formule |
(domain confersRight 1 Formula) | Merge.kif 17608-17608 | Le nombre 1 argument de confersRight est une instance de formule |
(domain considers 2 Formula) | Merge.kif 2812-2812 | Le nombre 2 argument de considers est une instance de formule |
(domain containsFormula 2 Formula) | Merge.kif 1378-1378 | Le nombre 2 argument de containsFormula est une instance de formule |
(domain decreasesLikelihood 1 Formula) | Merge.kif 2627-2627 | Le nombre 1 argument de decreasesLikelihood est une instance de formule |
(domain decreasesLikelihood 2 Formula) | Merge.kif 2628-2628 | Le nombre 2 argument de decreasesLikelihood est une instance de formule |
(domain deprivesNorm 2 Formula) | Merge.kif 4031-4031 | Le nombre 2 argument de deprivesNorm est une instance de formule |
(domain describes 1 Formula) | Mid-level-ontology.kif 17534-17534 | Le nombre 1 argument de describes est une instance de formule |
(domain desires 2 Formula) | Merge.kif 2800-2800 | Le nombre 2 argument de desires est une instance de formule |
(domain disapproves 2 Formula) | Mid-level-ontology.kif 8606-8606 | Le nombre 2 argument de disapproves est une instance de formule |
(domain doubts 2 Formula) | Mid-level-ontology.kif 8576-8576 | Le nombre 2 argument de doubts est une instance de formule |
(domain entails 1 Formula) | Merge.kif 763-763 | Le nombre 1 argument de entails est une instance de formule |
(domain entails 2 Formula) | Merge.kif 764-764 | Le nombre 2 argument de entails est une instance de formule |
(domain expects 2 Formula) | Merge.kif 10728-10728 | Le nombre 2 argument de expects est une instance de formule |
(domain fears 2 Formula) | Mid-level-ontology.kif 8549-8549 | Le nombre 2 argument de fears est une instance de formule |
(domain hasPurpose 2 Formula) | Merge.kif 3963-3963 | Le nombre 2 argument de hasPurpose est une instance de formule |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |