attitudeForFormula |
appearance as argument number 1 |
(domain attitudeForFormula 1 EmotionalState) | emotion.kif 2125-2125 | attitudeForFormula の数値 1 引数は 感情状態 の instance では %n |
(domain attitudeForFormula 2 AutonomousAgent) | emotion.kif 2126-2126 | attitudeForFormula の数値 2 引数は AutonomousAgent の instance では %n |
(domain attitudeForFormula 3 Formula) | emotion.kif 2127-2127 | attitudeForFormula の数値 3 引数は 公式 の instance では %n |
(instance attitudeForFormula TernaryPredicate) | emotion.kif 2122-2122 | attitudeForFormula は 3進述語 の instance では %n |
appearance as argument number 2 |
(termFormat EnglishLanguage attitudeForFormula "attitude for formula") | domainEnglishFormat.kif 65780-65780 |