Formula(公式)

-------------------------


(domain holdsDuring 2 Formula) Merge.kif 3882-3882 在这段时间为真 的 2 数量 是 公式instance
(domain holdsObligation 1 Formula) Merge.kif 17446-17446 有执行义务 的 1 数量 是 公式instance
(domain holdsRight 1 Formula) Merge.kif 17426-17426 有权利 的 1 数量 是 公式instance
(domain increasesLikelihood 1 Formula) Merge.kif 2596-2596 提高可能性 的 1 数量 是 公式instance
(domain increasesLikelihood 2 Formula) Merge.kif 2597-2597 提高可能性 的 2 数量 是 公式instance
(domain independentProbability 1 Formula) Merge.kif 2633-2633 独立发生机率 的 1 数量 是 公式instance
(domain independentProbability 2 Formula) Merge.kif 2634-2634 独立发生机率 的 2 数量 是 公式instance
(domain knows 2 Formula) Merge.kif 2826-2826 知道 的 2 数量 是 公式instance
(domain modalAttribute 1 Formula) Merge.kif 17302-17302 语气属性 的 1 数量 是 公式instance
(domain permits 2 Formula) Law.kif 22-22 permits 的 2 数量 是 公式instance
(domain prefers 2 Formula) Merge.kif 2687-2687 拥有 的 2 数量 是 公式instance
(domain prefers 3 Formula) Merge.kif 2688-2688 拥有 的 3 数量 是 公式instance
(domain prohibits 2 Formula) Law.kif 44-44 prohibits 的 2 数量 是 公式instance
(domain rateDetail 2 Formula) Hotel.kif 2989-2989 rateDetail 的 2 数量 是 公式instance
(domain says 2 Formula) Merge.kif 2846-2846 says 的 2 数量 是 公式instance
(domain treatedPageDefinition 2 Formula) UXExperimentalTerms.kif 4142-4142 treatedPageDefinition 的 2 数量 是 公式instance
(domain visitorParameter 2 Formula) UXExperimentalTerms.kif 1163-1163 visitorParameter 的 2 数量 是 公式instance


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners