Formula(公式) |
(domain holdsDuring 2 Formula) | Merge.kif 3882-3882 | holdsDuring の数値 2 引数は 公式 の instance では %n |
(domain holdsObligation 1 Formula) | Merge.kif 17446-17446 | holdsObligation の数値 1 引数は 公式 の instance では %n |
(domain holdsRight 1 Formula) | Merge.kif 17426-17426 | holdsRight の数値 1 引数は 公式 の instance では %n |
(domain increasesLikelihood 1 Formula) | Merge.kif 2596-2596 | increasesLikelihood の数値 1 引数は 公式 の instance では %n |
(domain increasesLikelihood 2 Formula) | Merge.kif 2597-2597 | increasesLikelihood の数値 2 引数は 公式 の instance では %n |
(domain independentProbability 1 Formula) | Merge.kif 2633-2633 | independentProbability の数値 1 引数は 公式 の instance では %n |
(domain independentProbability 2 Formula) | Merge.kif 2634-2634 | independentProbability の数値 2 引数は 公式 の instance では %n |
(domain knows 2 Formula) | Merge.kif 2826-2826 | knows の数値 2 引数は 公式 の instance では %n |
(domain modalAttribute 1 Formula) | Merge.kif 17302-17302 | modalAttribute の数値 1 引数は 公式 の instance では %n |
(domain permits 2 Formula) | Law.kif 22-22 | permits の数値 2 引数は 公式 の instance では %n |
(domain prefers 2 Formula) | Merge.kif 2687-2687 | prefers の数値 2 引数は 公式 の instance では %n |
(domain prefers 3 Formula) | Merge.kif 2688-2688 | prefers の数値 3 引数は 公式 の instance では %n |
(domain prohibits 2 Formula) | Law.kif 44-44 | prohibits の数値 2 引数は 公式 の instance では %n |
(domain rateDetail 2 Formula) | Hotel.kif 2989-2989 | rateDetail の数値 2 引数は 公式 の instance では %n |
(domain says 2 Formula) | Merge.kif 2846-2846 | says の数値 2 引数は 公式 の instance では %n |
(domain treatedPageDefinition 2 Formula) | UXExperimentalTerms.kif 4142-4142 | treatedPageDefinition の数値 2 引数は 公式 の instance では %n |
(domain visitorParameter 2 Formula) | UXExperimentalTerms.kif 1163-1163 | visitorParameter の数値 2 引数は 公式 の instance では %n |