instance
(
holdsDuring
(
FutureFn
?TIME)
(
and
(
instance
?TIME
(
DayFn
3
(
MonthFn
June
(
YearFn
2006))))
(
names
"Montenegro"
Montenegro
)))
Media.kif 2533-2536
持有期間
未來
TimePosition
and
例
TimePosition
and
天
3 and
月
June
and
年
2006
名
"Montenegro" and
Montenegro
(
holdsDuring
(
FutureFn
?TIME)
(
and
(
instance
?TIME
(
DayFn
3
(
MonthFn
June
(
YearFn
2006))))
(
not
(
instance
SerbiaAndMontenegro
IndependentState
))))
Media.kif 2546-2550
持有期間
未來
TimePosition
and
例
TimePosition
and
天
3 and
月
June
and
年
2006
例
塞爾維亞和黑山
and
獨立國家
(
holdsDuring
(
ImmediateFutureFn
?T)
(
and
(
instance
?T
(
DayFn
1
(
MonthFn
October
(
YearFn
1992))))
(
conventionalLongName
"Andean Community of Nations"
AndeanCommunityOfNations
)))
Government.kif 2791-2794
持有期間
眼前的未來
TimePosition
and
例
TimePosition
and
天
1 and
月
October
and
年
1992
安第斯國際社會
是 "Andean Community of Nations" 的
conventional
全名
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
and
(
instance
?TIME
(
YearFn
1996))
(
conventionalLongName
"Agency for the French-Speaking Community"
AgencyForTheFrenchSpeakingCommunity
)))
Government.kif 2765-2769
持有期間
眼前的未來
TimePosition
and
例
TimePosition
and
年
1996
法語社區的代理機構
是 "Agency for the French-Speaking Community" 的
conventional
全名
(
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 and ?PROCESSTYPE
體驗者
?PROCESS and ?ORGANISM and
attribute
?ORGANISM and ?SYMPTOM
(
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
and
InterfaceWindow
}
(
not
(
and
(
instance
?CURSOR
Cursor
)
(
hasGUEState
?CURSOR
GUE_SelectedState
)))
ComputerInput.kif 2226-2229
~{
例
GUIElement
and
Cursor
} ~{
GUIElement
有
state
GUE_SelectedState
}
(
not
(
and
(
instance
?CURSOR
MouseCursor
)
(
hasGUEState
?CURSOR
GUE_ActiveState
)))
ComputerInput.kif 1952-1955
~{
例
GUIElement
and
MouseCursor
} ~{
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
GraphPath
GraphPath
例
GraphPath
and
切集
Graph
例
GraphPath
and
最小割集
Graph
路徑長度
GraphPath
and
PositiveInteger
路徑長度
GraphPath
and
PositiveInteger
少於
PositiveInteger
and
PositiveInteger
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