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 e' uma sub-classe de Frase |
appearance as argument number 2 |
(range PremisesFn Formula) | Merge.kif 16951-16951 | O contra-dominio de PremisesFn e' uma instancia de Formula |
(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 5584-5584 | O argumento numero 2 de KappaFn e' uma instancia de Formula |
(domain ProbabilityFn 1 Formula) | Merge.kif 2573-2573 | O argumento numero 1 de ProbabilityFn e' uma instancia de Formula |
(domain attitudeForFormula 3 Formula) | emotion.kif 2125-2125 | O argumento numero 3 de attitudeForFormula e' uma instancia de Formula |
(domain believes 2 Formula) | Merge.kif 2811-2811 | O argumento numero 2 de believes e' uma instancia de Formula |
(domain causesProposition 1 Formula) | Merge.kif 3823-3823 | O argumento numero 1 de causesProposition e' uma instancia de Formula |
(domain causesProposition 2 Formula) | Merge.kif 3824-3824 | O argumento numero 2 de causesProposition e' uma instancia de Formula |
(domain conditionalProbability 1 Formula) | Merge.kif 2583-2583 | O argumento numero 1 de conditionalProbability e' uma instancia de Formula |
(domain conditionalProbability 2 Formula) | Merge.kif 2584-2584 | O argumento numero 2 de conditionalProbability e' uma instancia de Formula |
(domain confersNorm 2 Formula) | Merge.kif 3994-3994 | O argumento numero 2 de confersNorm e' uma instancia de Formula |
(domain confersObligation 1 Formula) | Merge.kif 17525-17525 | O argumento numero 1 de confersObligation e' uma instancia de Formula |
(domain confersRight 1 Formula) | Merge.kif 17504-17504 | O argumento numero 1 de confersRight e' uma instancia de Formula |
(domain considers 2 Formula) | Merge.kif 2801-2801 | O argumento numero 2 de considers e' uma instancia de Formula |
(domain containsFormula 2 Formula) | Merge.kif 1368-1368 | O argumento numero 2 de containsFormula e' uma instancia de Formula |
(domain decreasesLikelihood 1 Formula) | Merge.kif 2616-2616 | O argumento numero 1 de decreasesLikelihood e' uma instancia de Formula |
(domain decreasesLikelihood 2 Formula) | Merge.kif 2617-2617 | O argumento numero 2 de decreasesLikelihood e' uma instancia de Formula |
(domain deprivesNorm 2 Formula) | Merge.kif 4016-4016 | O argumento numero 2 de deprivesNorm e' uma instancia de Formula |
(domain describes 1 Formula) | Mid-level-ontology.kif 16174-16174 | O argumento numero 1 de describes e' uma instancia de Formula |
(domain desires 2 Formula) | Merge.kif 2789-2789 | O argumento numero 2 de desires e' uma instancia de Formula |
(domain disapproves 2 Formula) | Mid-level-ontology.kif 7468-7468 | O argumento numero 2 de disapproves e' uma instancia de Formula |
(domain doubts 2 Formula) | Mid-level-ontology.kif 7438-7438 | O argumento numero 2 de doubts e' uma instancia de Formula |
(domain entails 1 Formula) | Merge.kif 770-770 | O argumento numero 1 de entails e' uma instancia de Formula |
(domain entails 2 Formula) | Merge.kif 771-771 | O argumento numero 2 de entails e' uma instancia de Formula |
(domain expects 2 Formula) | Merge.kif 10624-10624 | O argumento numero 2 de expects e' uma instancia de Formula |
(domain hasPurpose 2 Formula) | Merge.kif 3947-3947 | O argumento numero 2 de hasPurpose e' uma instancia de Formula |
(domain hasPurposeForAgent 2 Formula) | Merge.kif 3963-3963 | O argumento numero 2 de hasPurposeForAgent e' uma instancia de Formula |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
consequent |