instance
(
holdsDuring
(
FutureFn
?TIME)
(
and
(
instance
?TIME
(
DayFn
3
(
MonthFn
June
(
YearFn
2006))))
(
names
"Montenegro"
Montenegro
)))
Media.kif 2533-2536
时间位置
是 3
day
的
instance
和
Montenegro
的名 是 "Montenegro" 在
那个 时间位置
之后
holdsDuring
(
holdsDuring
(
FutureFn
?TIME)
(
and
(
instance
?TIME
(
DayFn
3
(
MonthFn
June
(
YearFn
2006))))
(
not
(
instance
SerbiaAndMontenegro
IndependentState
))))
Media.kif 2546-2550
时间位置
是 3
day
的
instance
和
塞尔维亚和黑山
不 是
独立国家
的
instance
在
那个 时间位置
之后
holdsDuring
(
holdsDuring
(
ImmediateFutureFn
?T)
(
and
(
instance
?T
(
DayFn
1
(
MonthFn
October
(
YearFn
1992))))
(
conventionalLongName
"Andean Community of Nations"
AndeanCommunityOfNations
)))
Government.kif 2791-2794
时间位置
是 1
day
的
instance
和
安第斯国际社会
是 "Andean Community of Nations" 的
conventional
全名 在 紧接
那个 时间位置
after
holdsDuring
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
and
(
instance
?TIME
(
YearFn
1996))
(
conventionalLongName
"Agency for the French-Speaking Community"
AgencyForTheFrenchSpeakingCommunity
)))
Government.kif 2765-2769
时间位置
是 1996
year
的
instance
和
法语社区的代理机构
是 "Agency for the French-Speaking Community" 的
conventional
全名 在 紧接
那个 时间位置
after
holdsDuring
(
increasesLikelihood
(
and
(
biochemicalAgentSyndrome
?AGENT ?SYMPTOM)
(
biochemicalAgentDelivery
?AGENT ?PROCESSTYPE)
(
instance
?PROCESS ?PROCESSTYPE)
(
experiencer
?PROCESS ?ORGANISM))
(
attribute
?ORGANISM ?SYMPTOM))
WMD.kif 767-773
?SYMPTOM 是 ?AGENT 的
biochemical
病毒征兆 和 ?PROCESSTYPE 是 ?AGENT 的
biochemical
病毒传递 和 ?PROCESS 是 ?PROCESSTYPE 的
instance
和 ?ORGANISM 经历了 ?PROCESS 增加 ?SYMPTOM 是 ?ORGANISM 的
attribute
发生的机率
(
not
(
and
(
hasGUEState
?WINDOW
GUE_NonVisibleState
)
(
hasGUEState
?WINDOW
GUE_ActiveState
)
(
instance
?WINDOW
InterfaceWindow
)))
ComputerInput.kif 2011-2015
~{
GUIElement
有
state
GUE_NonVisibleState
} 或 ~{
那个 GUIElement
有
state
GUE_ActiveState
} 或 ~{
那个 GUIElement
是
InterfaceWindow
的
instance
}
(
not
(
and
(
instance
?CURSOR
Cursor
)
(
hasGUEState
?CURSOR
GUE_SelectedState
)))
ComputerInput.kif 2226-2229
~{
GUIElement
是
Cursor
的
instance
} 或 ~{
那个 GUIElement
有
state
GUE_SelectedState
}
(
not
(
and
(
instance
?CURSOR
MouseCursor
)
(
hasGUEState
?CURSOR
GUE_ActiveState
)))
ComputerInput.kif 1952-1955
~{
GUIElement
是
MouseCursor
的
instance
} 或 ~{
那个 GUIElement
有
state
GUE_ActiveState
}
(
not
(
exists
(?PATH1 ?PATH2)
(
and
(
instance
?PATH1
(
CutSetFn
?GRAPH))
(
instance
?PATH2
(
MinimalCutSetFn
?GRAPH))
(
pathLength
?PATH1 ?NUMBER1)
(
pathLength
?PATH2 ?NUMBER2)
(
lessThan
?NUMBER1 ?NUMBER2))))
Merge.kif 6099-6106
不存在
图路径
和
另一个 图路径
这样
那个 图路径
是 把
图
分成另外两个图的路径
Set
的
instance
和
那个 另外 图路径
是 把
那个 图
分成另外两个图的最短路径
Set
的
instance
和
那个 图路径
的
length
是
正整数
和
那个 另外 图路径
的
length
是
另一个 正整数
和
那个 正整数
是
lessThan
那个 另外 正整数
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