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
NumberList
Sigma KEE - uses
uses
appearance as argument number 1
(
documentation
uses
ChineseLanguage
"(
uses
?OBJECT AGENT) 的意思是 ?AGENT 在一个没有指定的
Process
所用的工具是 ?OBJECT,这个
Predicate
就如它的定义所说的,由
CaseRole
、
agent
和
instrument
构成。")
chinese_format.kif 2209-2211
(
documentation
uses
EnglishLanguage
"(
uses
?OBJECT AGENT) means that ?OBJECT is used by ?AGENT as an instrument in an unspecified
Process
. This
Predicate
, as its corresponding axiom indicates, is a composition of the
CaseRole
s
agent
and
instrument
.")
Merge.kif 4672-4675
(
documentation
uses
JapaneseLanguage
"(
uses
?OBJECT AGENT) とは、?OBJECTが ?AGENT によっ て不特定の
Process
の計測器として使用される、という意味である。 この
Predicate
は、その対応す る公理が示すように、
CaseRole
s
agent
および
instrument
の組成物である。")
japanese_format.kif 873-875
(
domain
uses
1
Object
)
Merge.kif 4669-4669
O argumento numero 1 de
uses
e' uma
instancia
de
Objeto
(
domain
uses
2
AutonomousAgent
)
Merge.kif 4670-4670
O argumento numero 2 de
uses
e' uma
instancia
de
AutonomousAgent
(
instance
uses
AsymmetricRelation
)
Merge.kif 4668-4668
uses
e' uma
instancia
de
Relacao Assimetrica
(
instance
uses
BinaryPredicate
)
Merge.kif 4667-4667
uses
e' uma
instancia
de
Predicado Binario
appearance as argument number 2
(
format
ChineseLanguage
uses
"%2 %n{doesn't}
uses
%1")
chinese_format.kif 247-247
(
format
EnglishLanguage
uses
"%2 %n{doesn't} use%p{s} %1")
english_format.kif 248-248
(
format
FrenchLanguage
uses
"%2 %n{n'} utilise %n{pas} %1")
french_format.kif 140-140
(
format
ItalianLanguage
uses
"%2 usa %1")
relations-it.txt 308-308
(
format
JapaneseLanguage
uses
"%2 は %1 を use%p{s} %n{ない}")
japanese_format.kif 1972-1972
(
format
PortugueseLanguage
uses
"%2 %n{nao} usa %n %1")
portuguese_format.kif 92-92
(
format
de
uses
"%2 verwendet %1")
relations-de.txt 317-317
(
format
hi
uses
"%2 %1 kaa upayoga karataa hai")
relations-hindi.txt 344-344
(
format
ro
uses
"%2 %n{nu} use%t{foloseºte} %1")
relations-ro.kif 159-159
(
format
sv
uses
"%2 använder %n{inte} %1")
relations-sv.txt 145-145
(
format
tg
uses
"%2 ay gamitin %1")
relations-tg.txt 500-500
(
termFormat
ChineseLanguage
uses
"使用")
domainEnglishFormat.kif 60862-60862
(
termFormat
ChineseLanguage
uses
"用")
chinese_format.kif 248-248
(
termFormat
ChineseTraditionalLanguage
uses
"使用")
domainEnglishFormat.kif 60861-60861
(
termFormat
EnglishLanguage
uses
"uses")
domainEnglishFormat.kif 60860-60860
(
termFormat
de
uses
"verwendet")
terms-de.txt 102-102
antecedent
(=>
(
and
(
freeFunctionRoomAmenity
?FR ?PHYS)
(
instance
?RM ?FR)
(
element
?RM
(
PropertyFn
?AGENT))
(
instance
?R
Renting
)
(
patient
?R ?RM)
(
destination
?R ?CUST)
(
instance
?X ?PHYS)
(
possesses
?AGENT ?X)
(
customer
?CUST ?AGENT)
(
or
(
and
(
instance
?X
Process
)
(
or
(
agent
?X ?CUST)
(
experiencer
?X ?CUST)))
(
and
(
possesses
?AGENT ?X)
(
instance
?X
Object
)
(
uses
?X ?CUST))))
(
price
?X
(
MeasureFn
0
UnitedStatesDollar
) ?AGENT))
Hotel.kif 841-862
freeFunctionRoomAmenity
HotelFunctionRoom
and
Fisico
Entidade
e' uma
instancia
de
HotelFunctionRoom
Entidade
e' um
elemento
de
propriedade
de
AutonomousAgent
Processo
e' uma
instancia
de
Renting
Entidade
e' um
patient
de
Processo
Processo
termina
em
Agente Cognitivo
Objeto
e' uma
instancia
de
Fisico
AutonomousAgent
possui
Objeto
customer
Agente Cognitivo
and
AutonomousAgent
Objeto
e' uma
instancia
de
Processo
Objeto
e' um
agente
de
Agente Cognitivo
Agente Cognitivo
experimenta
Objeto
AutonomousAgent
possui
Objeto
Objeto
e' uma
instancia
de
Objeto
Agente Cognitivo
usa
Objeto
price
Objeto
, 0
UnitedStatesDollar
(s) and
AutonomousAgent
(=>
(
and
(
freePropertyAmenity
?AGENT ?PHYS)
(
instance
?X ?PHYS)
(
customer
?CUST ?AGENT)
(
or
(
and
(
instance
?X
Process
)
(
or
(
agent
?X ?CUST)
(
experiencer
?X ?CUST)))
(
and
(
possesses
?AGENT ?X)
(
instance
?X
Object
)
(
uses
?X ?CUST))))
(
price
?X
(
MeasureFn
0
UnitedStatesDollar
) ?AGENT))
Hotel.kif 546-561
freePropertyAmenity
AutonomousAgent
and
Fisico
Processo
e' uma
instancia
de
Fisico
customer
Agente Cognitivo
and
AutonomousAgent
Processo
e' uma
instancia
de
Processo
Processo
e' um
agente
de
Agente Cognitivo
Agente Cognitivo
experimenta
Processo
AutonomousAgent
possui
Processo
Processo
e' uma
instancia
de
Objeto
Agente Cognitivo
usa
Processo
price
Processo
, 0
UnitedStatesDollar
(s) and
AutonomousAgent
(=>
(
and
(
instance
?KL
KnockLight
)
(
instance
?A
Human
)
(
attribute
?A
Deaf
)
(
uses
?KL ?A))
(
hasPurpose
?KL
(
exists
(?KNOCK ?DOOR)
(
and
(
instance
?KNOCK
Impacting
)
(
patient
?KNOCK ?DOOR)
(
instance
?DOOR
Door
)
(
knows
?A ?KNOCK)))))
Mid-level-ontology.kif 25873-25885
Objeto
e' uma
instancia
de
KnockLight
AutonomousAgent
e' uma
instancia
de
Humano
Deaf
e' um
atributo
de
AutonomousAgent
AutonomousAgent
usa
Objeto
Objeto
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Impactar
Entidade
e' um
patient
de
Entidade
Entidade
e' uma
instancia
de
Door
AutonomousAgent
sabe
Entidade
(=>
(
and
(
paidFunctionRoomAmenity
?FR ?PHYS)
(
instance
?RM ?FR)
(
element
?RM
(
PropertyFn
?AGENT))
(
instance
?R
Renting
)
(
patient
?R ?RM)
(
destination
?R ?CUST)
(
instance
?X ?PHYS)
(
possesses
?AGENT ?X)
(
customer
?CUST ?AGENT)
(
or
(
and
(
instance
?X
Process
)
(
or
(
agent
?X ?CUST)
(
experiencer
?X ?CUST)))
(
and
(
possesses
?AGENT ?X)
(
instance
?X
Object
)
(
uses
?X ?CUST))))
(
exists
(?PRICE ?U)
(
and
(
price
?X
(
MeasureFn
?PRICE ?U) ?AGENT)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 871-897
paidFunctionRoomAmenity
HotelFunctionRoom
and
Fisico
Entidade
e' uma
instancia
de
HotelFunctionRoom
Entidade
e' um
elemento
de
propriedade
de
AutonomousAgent
Processo
e' uma
instancia
de
Renting
Entidade
e' um
patient
de
Processo
Processo
termina
em
Agente Cognitivo
Objeto
e' uma
instancia
de
Fisico
AutonomousAgent
possui
Objeto
customer
Agente Cognitivo
and
AutonomousAgent
Objeto
e' uma
instancia
de
Processo
Objeto
e' um
agente
de
Agente Cognitivo
Agente Cognitivo
experimenta
Objeto
AutonomousAgent
possui
Objeto
Objeto
e' uma
instancia
de
Objeto
Agente Cognitivo
usa
Objeto
Numero Real
Unidade de Medida
price
Objeto
,
Numero Real
Unidade de Medida
(s) and
AutonomousAgent
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
Numero Real
e'
maior
que 0
(=>
(
and
(
paidPropertyAmenity
?AGENT ?PHYS)
(
instance
?X ?PHYS)
(
customer
?CUST ?AGENT)
(
or
(
and
(
instance
?X
Process
)
(
or
(
agent
?X ?CUST)
(
experiencer
?X ?CUST)))
(
and
(
possesses
?AGENT ?X)
(
instance
?X
Object
)
(
uses
?X ?CUST))))
(
exists
(?PRICE ?U)
(
and
(
price
?X
(
MeasureFn
?PRICE ?U) ?AGENT)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 569-589
paidPropertyAmenity
AutonomousAgent
and
Fisico
Processo
e' uma
instancia
de
Fisico
customer
Agente Cognitivo
and
AutonomousAgent
Processo
e' uma
instancia
de
Processo
Processo
e' um
agente
de
Agente Cognitivo
Agente Cognitivo
experimenta
Processo
AutonomousAgent
possui
Processo
Processo
e' uma
instancia
de
Objeto
Agente Cognitivo
usa
Processo
Numero Real
Unidade de Medida
price
Processo
,
Numero Real
Unidade de Medida
(s) and
AutonomousAgent
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
Numero Real
e'
maior
que 0
(=>
(
uses
?OBJ ?AGENT)
(
exists
(?PROC)
(
and
(
agent
?PROC ?AGENT)
(
instrument
?PROC ?OBJ))))
Merge.kif 4677-4682
AutonomousAgent
usa
Objeto
Processo
Processo
e' um
agente
de
AutonomousAgent
Objeto
e' um
instrumento
para
Processo
consequent
(=>
(
and
(
facility
?AGENT ?OBJ)
(
customer
?CUST ?AGENT)
(
instance
?X ?OBJ)
(
desires
?CUST
(
exists
(?PROC)
(
and
(
instance
?PROC
IntentionalProcess
)
(
patient
?PROC ?X)
(
agent
?PROC ?CUST)))))
(
modalAttribute
(
confersRight
(
uses
?X ?CUST) ?AGENT ?CUST)
Possibility
))
Dining.kif 336-350
facility
AutonomousAgent
and
Objeto
customer
Agente Cognitivo
and
AutonomousAgent
Entidade
e' uma
instancia
de
Objeto
Agente Cognitivo
deseja
Entidade
Entidade
e' uma
instancia
de
Processo Intencional
Entidade
e' um
patient
de
Entidade
Entidade
e' um
agente
de
Agente Cognitivo
o argumento
AutonomousAgent
autoriza
Agente Cognitivo
a executar tarefas de tipo
Agente Cognitivo
usa
Entidade
tem a
forca
modal
de
Possibility
(=>
(
and
(
instance
?R
Renting
)
(
agent
?R ?A)
(
patient
?R ?O))
(
holdsDuring
(
WhenFn
?R)
(
modalAttribute
(
uses
?O ?A)
Permission
)))
Mid-level-ontology.kif 22478-22485
Processo
e' uma
instancia
de
Renting
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
o argumento
AutonomousAgent
usa
Entidade
tem a
forca
modal
de
Permission
vale
durante
tempo
de existencia de
Processo
(=>
(
and
(
instance
?Using
UsingAResource
)
(
resourceUsed
?Using ?Resource)
(
agent
?Using ?Agent))
(
uses
?Resource ?Agent))
QoSontology.kif 1966-1971
ComputerProcess
e' uma
instancia
de
UsingAResource
resourceUsed
ComputerProcess
and
ComputerResource
ComputerProcess
e' um
agente
de
AutonomousAgent
AutonomousAgent
usa
ComputerResource
(=>
(
attribute
?User
ComputerUser
)
(
exists
(?Computer)
(
and
(
instance
?Computer
Computer
)
(
uses
?Computer ?User))))
QoSontology.kif 1723-1728
ComputerUser
e' um
atributo
de
AutonomousAgent
Objeto
Objeto
e' uma
instancia
de
Computer
AutonomousAgent
usa
Objeto
(=>
(
dateUsed
?OBJECT ?DATE ?AGENT)
(
exists
(?PROCESS)
(
and
(
instance
?PROCESS
Process
)
(
patient
?PROCESS ?OBJECT)
(
agent
?PROCESS ?AGENT)
(
uses
?OBJECT ?AGENT)
(
overlapsTemporally
?DATE
(
WhenFn
?PROCESS)))))
Mid-level-ontology.kif 991-999
dateUsed
Objeto
,
Intervalo Temporal
and
AutonomousAgent
Processo
Processo
e' uma
instancia
de
Processo
Objeto
e' um
patient
de
Processo
Processo
e' um
agente
de
AutonomousAgent
AutonomousAgent
usa
Objeto
tempo
de existencia de
Processo
engloba
Intervalo Temporal
(=>
(
instance
?A
MilitaryArtifact
)
(
hasPurpose
?A
(
exists
(?O)
(
and
(
instance
?O
MilitaryOrganization
)
(
uses
?A ?O)))))
Mid-level-ontology.kif 17860-17866
Fisico
e' uma
instancia
de
MilitaryArtifact
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
MilitaryOrganization
Entidade
usa
Fisico
(=>
(
instance
?V
MilitaryVehicle
)
(
hasPurpose
?V
(
exists
(?O)
(
and
(
instance
?O
MilitaryOrganization
)
(
uses
?V ?O)))))
Military.kif 137-143
Fisico
e' uma
instancia
de
MilitaryVehicle
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
MilitaryOrganization
Entidade
usa
Fisico
(=>
(
possesses
?PERSON ?OBJ)
(
modalAttribute
(
uses
?OBJ ?PERSON)
Permission
))
Merge.kif 4254-4256
AutonomousAgent
possui
Objeto
o argumento
AutonomousAgent
usa
Objeto
tem a
forca
modal
de
Permission
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