![]() |
![]() ![]() ![]()
|
![]() |
|
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 1495-1496 | |
(subclass Formula Sentence) | Merge.kif 1493-1493 | Formula is a subclass of sentence |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Formula "公式") | chinese_format.kif 847-847 | |
(termFormat EnglishLanguage Formula "formula") | english_format.kif 896-896 |
appearance as argument number 3 |
![]() |
(domain KappaFn 2 Formula) | Merge.kif 5489-5489 | The number 2 argument of kappa is an instance of formula |
(domain ProbabilityFn 1 Formula) | Merge.kif 2519-2519 | The number 1 argument of probability is an instance of formula |
(domain attitudeForFormula 3 Formula) | emotion.kif 2127-2127 | The number 3 argument of attitudeForFormula is an instance of formula |
(domain believes 2 Formula) | Merge.kif 2757-2757 | The number 2 argument of believes is an instance of formula |
(domain causesProposition 1 Formula) | Merge.kif 3747-3747 | The number 1 argument of causes proposition is an instance of formula |
(domain causesProposition 2 Formula) | Merge.kif 3748-3748 | The number 2 argument of causes proposition is an instance of formula |
(domain conditionalProbability 1 Formula) | Merge.kif 2529-2529 | The number 1 argument of conditional probability is an instance of formula |
(domain conditionalProbability 2 Formula) | Merge.kif 2530-2530 | The number 2 argument of conditional probability is an instance of formula |
(domain confersNorm 2 Formula) | Merge.kif 3918-3918 | The number 2 argument of confers norm is an instance of formula |
(domain confersObligation 1 Formula) | Merge.kif 17207-17207 | The number 1 argument of confers obligation is an instance of formula |
(domain confersRight 1 Formula) | Merge.kif 17186-17186 | The number 1 argument of confers right is an instance of formula |
(domain considers 2 Formula) | Merge.kif 2747-2747 | The number 2 argument of considers is an instance of formula |
(domain containsFormula 2 Formula) | Law.kif 22-22 | The number 2 argument of contains formula is an instance of formula |
(domain decreasesLikelihood 1 Formula) | Merge.kif 2562-2562 | The number 1 argument of decreases likelihood is an instance of formula |
(domain decreasesLikelihood 2 Formula) | Merge.kif 2563-2563 | The number 2 argument of decreases likelihood is an instance of formula |
(domain deprivesNorm 2 Formula) | Merge.kif 3940-3940 | The number 2 argument of deprives norm is an instance of formula |
(domain describes 1 Formula) | Mid-level-ontology.kif 15592-15592 | The number 1 argument of describes is an instance of formula |
(domain desires 2 Formula) | Merge.kif 2735-2735 | The number 2 argument of desires is an instance of formula |
(domain disapproves 2 Formula) | Mid-level-ontology.kif 7121-7121 | The number 2 argument of disapproves is an instance of formula |
(domain doubts 2 Formula) | Mid-level-ontology.kif 7091-7091 | The number 2 argument of doubts is an instance of formula |
(domain entails 1 Formula) | Merge.kif 759-759 | The number 1 argument of entails is an instance of formula |
(domain entails 2 Formula) | Merge.kif 760-760 | The number 2 argument of entails is an instance of formula |
(domain expects 2 Formula) | Mid-level-ontology.kif 7052-7052 | The number 2 argument of expects is an instance of formula |
(domain hasPurpose 2 Formula) | Merge.kif 3871-3871 | The number 2 argument of has purpose is an instance of formula |
(domain hasPurposeForAgent 2 Formula) | Merge.kif 3887-3887 | The number 2 argument of has purpose for agent is an instance of formula |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |