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
Die Zahl 1 Argument von
OperatingFn
ist ein
fall
von
Device
%n{nicht}
(
instance
OperatingFn
UnaryFunction
)
Mid-level-ontology.kif 17880-17880
OperatingFn
ist ein
fall
von
UnaryFunction
%n{nicht}
(
rangeSubclass
OperatingFn
Process
)
Mid-level-ontology.kif 17885-17885
Die werte die
OperatingFn
zurueckgibt sind
teilkategorien
von
Process
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
Wenn
Process
ist ein
fall
von
OperatingFn
DieselEngine
%n{nicht},
dann es gibt
Object
um
** Object
ist ein
fall
von
DieselFuel
%n{nicht} und
** Object
ist ein
hilfmittel
fuer
** Process
%n{nicht}
(=>
(
instance
?PROCESS
(
OperatingFn
ComputerMouse
))
(
exists
(?SURFACE)
(
and
(
instance
?SURFACE
Object
)
(
attribute
?SURFACE
Flat
)
(
eventLocated
?PROCESS ?SURFACE))))
ComputerInput.kif 389-396
Wenn
Process
ist ein
fall
von
OperatingFn
ComputerMouse
%n{nicht},
dann es gibt
Object
um
** Object
ist ein
fall
von
Object
%n{nicht} und
Flat
ist ein
attribut
von
** Object
%n{nicht} und
eventLocated
** Process
and
** Object
(=>
(
instance
?R
(
OperatingFn
GasolineEngine
))
(
exists
(?F)
(
and
(
instance
?F
Gasoline
)
(
resource
?R ?F))))
Mid-level-ontology.kif 23604-23609
Wenn
Process
ist ein
fall
von
OperatingFn
GasolineEngine
%n{nicht},
dann es gibt
Object
um
** Object
ist ein
fall
von
Gasoline
%n{nicht} und
** Object
ist ein
hilfmittel
fuer
** Process
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
OperatingFn
InternalCombustionEngine
%n{nicht},
dann es gibt
SelfConnectedObject
,
HoleRegion
, and und
Object
um
** SelfConnectedObject
ist ein
fall
von
InternalCombustionEngine
%n{nicht} und
** SelfConnectedObject
ist ein
instrument
fuer
** Process
%n{nicht} und
** HoleRegion
ist ein
loch
in
** SelfConnectedObject
%n{nicht} und
** Object
ist ein
fall
von
Combustion
%n{nicht} und
** Object
fuellt
** HoleRegion
vollstaendig
consequent
(=>
(
attribute
?PERSON
RadioOperator
)
(
hasSkill
(
OperatingFn
CommunicationRadio
) ?PERSON))
Transportation.kif 3283-3285
Wenn
RadioOperator
ist ein
attribut
von
AutonomousAgent
%n{nicht},
dann
** AutonomousAgent
hat die F�higkeit, zum
OperatingFn
CommunicationRadio
zu tun %n{nicht}
(=>
(
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
Wenn
Physical
ist ein
fall
von
RemoteIgnitionControl
%n{nicht},
dann
** Physical
hat Zweck von es gibt
entity
,
** entity
,, ,
** entity
, and und
** entity
um
** entity
ist ein
fall
von
PoweredVehicle
%n{nicht} und
** ** entity
ist ein
fall
von
ElectronicSignalling
%n{nicht} und
** Physical
ist ein
instrument
fuer
** ** entity
%n{nicht} und
** ** entity
endet an
** entity
%n{nicht} und
** ** entity
ist ein
fall
von
Engine
%n{nicht} und
** ** entity
ist ein
bestandteil
von
** entity
%n{nicht} und
** ** entity
ist ein
fall
von
OperatingFn
Engine
%n{nicht} und
** ** entity
erfaehrt
** ** entity
%n{nicht} und
** ** entity
verursacht
** ** entity
%n{nicht} %n{nicht}
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