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