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
は
AutonomousAgent
の
instance
では %n
ElectionFn
AutonomousAgent
は
Election
の
subclass
では %n
AutonomousAgent
は
組織
の
instance
では %n
AutonomousAgent
は
地政学的地域
の
instance
では %n
(=>
(
and
(
instance
?PLACE
AutonomousAgent
)
(
subclass
?YEAR
Year
))
(
instance
(
FiscalYearStartingFn
?PLACE ?YEAR)
(
FiscalYearFn
?PLACE)))
Economy.kif 3738-3742
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
年
は
年
の
subclass
では %n
FiscalYearStartingFn
AutonomousAgent
and
年
は
FiscalYearFn
AutonomousAgent
の
instance
では %n
(=>
(
and
(
trafficableForTrafficType
?place ?type)
(
subclass
?type
AutonomousAgent
)
(
instance
?mover ?type))
(
capableAtLocation
Translocation
agent
?mover ?place))
Transportation.kif 2617-2622
trafficableForTrafficType
地域
and
自己接続オブジェクト
自己接続オブジェクト
は
AutonomousAgent
の
subclass
では %n
オブジェクト
は
自己接続オブジェクト
の
instance
では %n
capableAtLocation
Translocation
,
agent
,
オブジェクト
and
地域
(=>
(
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
時間間隔
は
時間間隔
_CLASS の
instance
では %n
時間間隔
_CLASS は
工程
の
subclass
では %n
AccessingWebPage
は
AccessingWebPage
の
instance
では %n
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
AutonomousAgent
は
時間間隔
の
agent
では %n
AutonomousAgent
は
AccessingWebPage
の
agent
では %n
時間間隔
は
AccessingWebPage
の
during
に takes %n{ない}
物理
は
時間間隔
の
instance
では %n
時間間隔
2
時間間隔
2 は
時間間隔
_CLASS の
instance
では %n
AutonomousAgent
は
時間間隔
2 の
agent
では %n
時間間隔
2 は
AccessingWebPage
の
during
に takes %n{ない}
時間間隔
2 の
time
の existence の
beginning
は
時間間隔
の
time
の existence の
beginning
の
before
に happens %n{ない}
AccessingWebPage
の
time
の existence の
beginning
は
物理
の
time
の existence の
beginning
と
equal
では %n
時間間隔
の
time
の existence の
beginning
は
物理
の
time
の existence の
end
と
equal
では %n
TTFxFn
時間間隔
_CLASS and
AccessingWebPage
は
物理
と
equal
では %n
(
subclass
AutonomousAgent
Object
)
Merge.kif 1556-1556
AutonomousAgent
は
オブジェクト
の
subclass
では %n
(
subclass
SentientAgent
AutonomousAgent
)
Merge.kif 1566-1566
意識[知覚]を持つ代理(人)
は
AutonomousAgent
の
subclass
では %n
(
subclass
GeopoliticalArea
AutonomousAgent
)
Merge.kif 14054-14054
地政学的地域
は
AutonomousAgent
の
subclass
では %n
(
subclass
Organism
AutonomousAgent
)
Merge.kif 14355-14355
物
は
AutonomousAgent
の
subclass
では %n
(
subclass
CommercialAgent
AutonomousAgent
)
Merge.kif 16173-16173
CommercialAgent
は
AutonomousAgent
の
subclass
では %n
(
subclass
Group
AutonomousAgent
)
Merge.kif 16224-16224
グループ
は
AutonomousAgent
の
subclass
では %n
(
subclass
Organization
AutonomousAgent
)
Merge.kif 16610-16610
組織
は
AutonomousAgent
の
subclass
では %n
(
subclass
ITAgent
AutonomousAgent
)
engineering.kif 1306-1306
ITAgent
は
AutonomousAgent
の
subclass
では %n
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