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
O argumento numero 1 de
OperatingFn
e' uma
instancia
de
Aparelho
(
instance
OperatingFn
UnaryFunction
)
Mid-level-ontology.kif 17880-17880
OperatingFn
e' uma
instancia
de
funcao Unaria
(
rangeSubclass
OperatingFn
Process
)
Mid-level-ontology.kif 17885-17885
Os valores retornados por
OperatingFn
sao as
sub
-classes de
Processo
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
Processo
e' uma
instancia
de
OperatingFn
DieselEngine
Objeto
Objeto
e' uma
instancia
de
DieselFuel
Objeto
e' um
recurso
para
Processo
(=>
(
instance
?PROCESS
(
OperatingFn
ComputerMouse
))
(
exists
(?SURFACE)
(
and
(
instance
?SURFACE
Object
)
(
attribute
?SURFACE
Flat
)
(
eventLocated
?PROCESS ?SURFACE))))
ComputerInput.kif 389-396
Processo
e' uma
instancia
de
OperatingFn
ComputerMouse
Objeto
Objeto
e' uma
instancia
de
Objeto
Flat
e' um
atributo
de
Objeto
eventLocated
Processo
and
Objeto
(=>
(
instance
?R
(
OperatingFn
GasolineEngine
))
(
exists
(?F)
(
and
(
instance
?F
Gasoline
)
(
resource
?R ?F))))
Mid-level-ontology.kif 23604-23609
Processo
e' uma
instancia
de
OperatingFn
GasolineEngine
Objeto
Objeto
e' uma
instancia
de
Gasoline
Objeto
e' um
recurso
para
Processo
(=>
(
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
Processo
e' uma
instancia
de
OperatingFn
InternalCombustionEngine
Objeto auto-conectado
Buraco
and
Objeto
Objeto auto-conectado
e' uma
instancia
de
InternalCombustionEngine
Objeto auto-conectado
e' um
instrumento
para
Processo
Buraco
e' um
buraco
dans
Objeto auto-conectado
Objeto
e' uma
instancia
de
Combustao
Objeto
completa
completemente
Buraco
consequent
(=>
(
attribute
?PERSON
RadioOperator
)
(
hasSkill
(
OperatingFn
CommunicationRadio
) ?PERSON))
Transportation.kif 3283-3285
RadioOperator
e' um
atributo
de
AutonomousAgent
AutonomousAgent
tem a
capacidade
de fazer
OperatingFn
CommunicationRadio
(=>
(
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
Fisico
e' uma
instancia
de
RemoteIgnitionControl
Fisico
tem por
fim
Entidade
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
PoweredVehicle
Entidade
e' uma
instancia
de
ElectronicSignalling
Fisico
e' um
instrumento
para
Entidade
Entidade
termina
em
Entidade
Entidade
e' uma
instancia
de
Engine
Entidade
e' um
componente
de
Entidade
Entidade
e' uma
instancia
de
OperatingFn
Engine
Entidade
experimenta
Entidade
Entidade
causa
Entidade
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