Term Intersection
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
Term 1:
Term 2:
(=>
(
and
(
instance
?AGENT
AutonomousAgent
)
(
subclass
(
ElectionFn
?AGENT)
Election
))
(
or
(
instance
?AGENT
Organization
)
(
instance
?AGENT
GeopoliticalArea
)))
Government.kif 1692-1698
例
AutonomousAgent
and
AutonomousAgent
子類
AutonomousAgent
的
election
and
選舉
例
AutonomousAgent
and
Organization
例
AutonomousAgent
and
GeopoliticalArea
(=>
(
and
(
instance
?PLACE
AutonomousAgent
)
(
subclass
?YEAR
Year
))
(
instance
(
FiscalYearStartingFn
?PLACE ?YEAR)
(
FiscalYearFn
?PLACE)))
Economy.kif 3738-3742
例
AutonomousAgent
and
AutonomousAgent
子類
年
and
年
例
AutonomousAgent
和
年
的
fiscal
開始年分 and
AutonomousAgent
的
fiscal
年
(=>
(
and
(
trafficableForTrafficType
?place ?type)
(
subclass
?type
AutonomousAgent
)
(
instance
?mover ?type))
(
capableAtLocation
Translocation
agent
?mover ?place))
Transportation.kif 2617-2622
SelfConnectedObject
是 對於交通類別
Region
的
trafficable
子類
SelfConnectedObject
and
AutonomousAgent
例
Object
and
SelfConnectedObject
易位
capable
在地點
agent
對於
Object
跟
Region
在一起
(=>
(
and
(
instance
?PROCESS ?PROCESS_CLASS)
(
subclass
?PROCESS_CLASS
Process
)
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?AGENT
AutonomousAgent
)
(
agent
?PROCESS ?AGENT)
(
agent
?ACCESSING ?AGENT)
(
during
?PROCESS ?ACCESSING)
(
instance
?TIMETOFIRST
TimeInterval
)
(
not
(
exists
(?PROCESS2)
(
and
(
instance
?PROCESS2 ?PROCESS_CLASS)
(
agent
?PROCESS2 ?AGENT)
(
during
?PROCESS2 ?ACCESSING)
(
before
(
BeginFn
(
WhenFn
?PROCESS2))
(
BeginFn
(
WhenFn
?PROCESS))))))
(
equal
(
BeginFn
(
WhenFn
?ACCESSING))
(
BeginFn
(
WhenFn
?TIMETOFIRST)))
(
equal
(
BeginFn
(
WhenFn
?PROCESS))
(
EndFn
(
WhenFn
?TIMETOFIRST))))
(
equal
(
TTFxFn
?PROCESS_CLASS ?ACCESSING) ?TIMETOFIRST))
UXExperimentalTerms.kif 1496-1518
例
TimeInterval
and
TimeInterval
_CLASS
子類
TimeInterval
_CLASS and
Process
例
AccessingWebPage
and
AccessingWebPage
例
AutonomousAgent
and
AutonomousAgent
agent
TimeInterval
and
AutonomousAgent
agent
AccessingWebPage
and
AutonomousAgent
期間
TimeInterval
and
AccessingWebPage
例
Physical
and
TimeInterval
TimeInterval
例
TimeInterval
and
TimeInterval
_CLASS
agent
TimeInterval
and
AutonomousAgent
期間
TimeInterval
and
AccessingWebPage
之前
開始
何時
TimeInterval
and
開始
何時
TimeInterval
等於
開始
何時
AccessingWebPage
and
開始
何時
Physical
等於
開始
何時
TimeInterval
and
結束
何時
Physical
等於
AccessingWebPage
的
time
在 類別
TimeInterval
_CLASS and
Physical
(
subclass
AutonomousAgent
Object
)
Merge.kif 1556-1556
子類
AutonomousAgent
and
Object
(
subclass
SentientAgent
AutonomousAgent
)
Merge.kif 1566-1566
子類
SentientAgent
and
AutonomousAgent
(
subclass
GeopoliticalArea
AutonomousAgent
)
Merge.kif 14054-14054
子類
GeopoliticalArea
and
AutonomousAgent
(
subclass
Organism
AutonomousAgent
)
Merge.kif 14355-14355
子類
Organism
and
AutonomousAgent
(
subclass
CommercialAgent
AutonomousAgent
)
Merge.kif 16173-16173
子類
商業代理人
and
AutonomousAgent
(
subclass
Group
AutonomousAgent
)
Merge.kif 16224-16224
子類
Group
and
AutonomousAgent
(
subclass
Organization
AutonomousAgent
)
Merge.kif 16610-16610
子類
Organization
and
AutonomousAgent
(
subclass
ITAgent
AutonomousAgent
)
engineering.kif 1306-1306
子類
IT代理商
and
AutonomousAgent
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