(domain holdsDuring 2 Formula) |
Merge.kif 3882-3882 |
域 持有期間, 2 and Formula |
(domain holdsObligation 1 Formula) |
Merge.kif 17446-17446 |
域 持有義務, 1 and Formula |
(domain holdsRight 1 Formula) |
Merge.kif 17426-17426 |
域 堅持正確, 1 and Formula |
(domain increasesLikelihood 1 Formula) |
Merge.kif 2596-2596 |
域 增加可能性, 1 and Formula |
(domain increasesLikelihood 2 Formula) |
Merge.kif 2597-2597 |
域 增加可能性, 2 and Formula |
(domain independentProbability 1 Formula) |
Merge.kif 2633-2633 |
域 獨立概率, 1 and Formula |
(domain independentProbability 2 Formula) |
Merge.kif 2634-2634 |
域 獨立概率, 2 and Formula |
(domain knows 2 Formula) |
Merge.kif 2826-2826 |
域 知道, 2 and Formula |
(domain modalAttribute 1 Formula) |
Merge.kif 17302-17302 |
域 模態屬性, 1 and Formula |
(domain permits 2 Formula) |
Law.kif 22-22 |
域 permits, 2 and Formula |
(domain prefers 2 Formula) |
Merge.kif 2687-2687 |
域 偏好, 2 and Formula |
(domain prefers 3 Formula) |
Merge.kif 2688-2688 |
域 偏好, 3 and Formula |
(domain prohibits 2 Formula) |
Law.kif 44-44 |
域 prohibits, 2 and Formula |
(domain rateDetail 2 Formula) |
Hotel.kif 2989-2989 |
域 rateDetail, 2 and Formula |
(domain says 2 Formula) |
Merge.kif 2846-2846 |
域 says, 2 and Formula |
(domain treatedPageDefinition 2 Formula) |
UXExperimentalTerms.kif 4142-4142 |
域 treatedPageDefinition, 2 and Formula |
(domain visitorParameter 2 Formula) |
UXExperimentalTerms.kif 1163-1163 |
域 visitorParameter, 2 and Formula |