Browsing Interface
: 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
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
OperatingFn
Sigma KEE - OperatingFn
OperatingFn
appearance as argument number 1
(
documentation
OperatingFn
EnglishLanguage
"(
OperatingFn
?DEVICE) denotes the class of events in which a
Device
of type ?device is operated.")
Mid-level-ontology.kif 17881-17882
(
domain
OperatingFn
1
Device
)
Mid-level-ontology.kif 17884-17884
操作
的 1 数量 是
设备
的
instance
(
instance
OperatingFn
UnaryFunction
)
Mid-level-ontology.kif 17880-17880
操作
是
一元函数
的
instance
(
rangeSubclass
OperatingFn
Process
)
Mid-level-ontology.kif 17885-17885
操作
的所得值 是
过程
的
subclass
appearance as argument number 2
(
format
ChineseLanguage
OperatingFn
"%1 的 operating ")
domainEnglishFormat.kif 1839-1839
(
format
ChineseTraditionalLanguage
OperatingFn
"%1 的 operating ")
domainEnglishFormat.kif 1838-1838
(
format
EnglishLanguage
OperatingFn
"the operating of %1")
domainEnglishFormat.kif 1837-1837
(
termFormat
ChineseLanguage
OperatingFn
"操作")
domainEnglishFormat.kif 42246-42246
(
termFormat
ChineseTraditionalLanguage
OperatingFn
"操作")
domainEnglishFormat.kif 42245-42245
(
termFormat
EnglishLanguage
OperatingFn
"operating")
domainEnglishFormat.kif 42244-42244
antecedent
(=>
(
instance
?P
(
OperatingFn
DieselEngine
))
(
exists
(?F)
(
and
(
instance
?F
DieselFuel
)
(
resource
?P ?F))))
Mid-level-ontology.kif 23615-23620
如果
过程
是
柴油发动机
的
operating
的
instance
,
然后 有存在
客体
这样
那个 客体
是
柴油燃料
的
instance
和
那个 客体
是
那个 过程
的
resource
(=>
(
instance
?PROCESS
(
OperatingFn
ComputerMouse
))
(
exists
(?SURFACE)
(
and
(
instance
?SURFACE
Object
)
(
attribute
?SURFACE
Flat
)
(
eventLocated
?PROCESS ?SURFACE))))
ComputerInput.kif 389-396
如果
过程
是
ComputerMouse
的
operating
的
instance
,
然后 有存在
客体
这样
那个 客体
是
客体
的
instance
和
平面
是
那个 客体
的
attribute
和
那个 过程
是
located
在
那个 客体
(=>
(
instance
?R
(
OperatingFn
GasolineEngine
))
(
exists
(?F)
(
and
(
instance
?F
Gasoline
)
(
resource
?R ?F))))
Mid-level-ontology.kif 23604-23609
如果
过程
是
汽油发动机
的
operating
的
instance
,
然后 有存在
客体
这样
那个 客体
是
汽油
的
instance
和
那个 客体
是
那个 过程
的
resource
(=>
(
instance
?R
(
OperatingFn
InternalCombustionEngine
))
(
exists
(?E ?C ?F)
(
and
(
instance
?E
InternalCombustionEngine
)
(
instrument
?R ?E)
(
hole
?C ?E)
(
instance
?F
Combustion
)
(
completelyFills
?F ?C))))
Mid-level-ontology.kif 1765-1773
如果
过程
是
内燃机
的
operating
的
instance
,
然后 有存在
自身连接物体
,
洞
, and 和
客体
这样
那个 自身连接物体
是
内燃机
的
instance
和
那个 自身连接物体
是导致
那个 过程
的
instrument
和
那个 洞
是
那个 自身连接物体
内的
hole
和
那个 客体
是
燃烧
的
instance
和
那个 客体
完全
fills
那个 洞
consequent
(=>
(
attribute
?PERSON
RadioOperator
)
(
hasSkill
(
OperatingFn
CommunicationRadio
) ?PERSON))
Transportation.kif 3283-3285
如果
广播运营商
是
施事体
的
attribute
,
然后
那个 施事体
hasSkill
去做
通讯电台
的
operating
(=>
(
instance
?X
RemoteIgnitionControl
)
(
hasPurpose
?X
(
exists
(?VEHICLE ?ENGINE ?SIGNAL ?PROC)
(
and
(
instance
?VEHICLE
PoweredVehicle
)
(
instance
?SIGNAL
ElectronicSignalling
)
(
instrument
?SIGNAL ?X)
(
destination
?SIGNAL ?VEHICLE)
(
instance
?ENGINE
Engine
)
(
component
?ENGINE ?VEHICLE)
(
instance
?PROC
(
OperatingFn
Engine
))
(
experiencer
?PROC ?ENGINE)
(
causes
?SIGNAL ?PROC)))))
Cars.kif 3755-3769
如果
物理
是
RemoteIgnitionControl
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
,
另一个 实体
,, ,
第三 实体
, and 和
第四 实体
这样
那个 实体
是
动力车辆
的
instance
和
那个 第三 实体
是
电子信号
的
instance
和
那个 物理
是导致
那个 第三 实体
的
instrument
和
那个 第三 实体
在
那个 实体
结束 和
那个 另外 实体
是
发动机
的
instance
和
那个 另外 实体
是
那个 实体
的
component
和
那个 第四 实体
是
发动机
的
operating
的
instance
和
那个 另外 实体
经历了
那个 第四 实体
和
那个 第三 实体
causes
那个 第四 实体
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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