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
exploits
Sigma KEE - exploits
exploits
appearance as argument number 1
(
documentation
exploits
ChineseLanguage
"(
exploits
?OBJ ?AGENT) 的意思是 ?AGENT 利用 ?OBJ 作为一个没有指定
Process
实例的
resource
,这个
Predicate
就如它的相关定义所说的,是由
agent
和
resource
的关系所组成的。")
chinese_format.kif 2088-2090
(
documentation
exploits
EnglishLanguage
"(
exploits
?OBJ ?AGENT) means that ?OBJ is used by ?AGENT as a
resource
in an unspecified instance of
Process
. This
Predicate
, as its corresponding axiom indicates, is a composition of the relations
agent
and
resource
.")
Merge.kif 3932-3935
(
documentation
exploits
JapaneseLanguage
"(
exploits
?OBJ ?AGENT) とは、?OBJ が、
Process
の不特定インスタンスの
resource
として?AGENTによって使用される。この
Predicate
は、その対応 する公理が示すように、
agent
および
resource
の二項関係の合成である。")
japanese_format.kif 736-738
(
domain
exploits
1
Object
)
Merge.kif 3929-3929
O argumento numero 1 de
exploits
e' uma
instancia
de
Objeto
(
domain
exploits
2
AutonomousAgent
)
Merge.kif 3930-3930
O argumento numero 2 de
exploits
e' uma
instancia
de
AutonomousAgent
(
instance
exploits
AsymmetricRelation
)
Merge.kif 3928-3928
exploits
e' uma
instancia
de
Relacao Assimetrica
(
instance
exploits
BinaryPredicate
)
Merge.kif 3927-3927
exploits
e' uma
instancia
de
Predicado Binario
appearance as argument number 2
(
format
ChineseLanguage
exploits
"%1 %n{doesn't} 被 %2
exploits
")
chinese_format.kif 105-105
(
format
EnglishLanguage
exploits
"%1 %n{doesn't} exploit%p{s} %2")
english_format.kif 105-105
(
format
FrenchLanguage
exploits
"%1 %n{n'} exploite %n{pas} %2")
french_format.kif 75-75
(
format
ItalianLanguage
exploits
"%1 %n{doesn't} utilizza%p{s} %2")
relations-it.txt 103-103
(
format
JapaneseLanguage
exploits
"%1 は %2 を exploit%p{s} %n{ない}")
japanese_format.kif 1901-1901
(
format
PortugueseLanguage
exploits
"%1 %n{nao} utiliza %n %2")
portuguese_format.kif 27-27
(
format
cz
exploits
"%1 %n{doesn't} exploit%p{s} %2")
relations-cz.txt 119-119
(
format
de
exploits
"%1 nutzt %2 %n{nicht} aus")
relations-de.txt 121-121
(
format
hi
exploits
"%1 %2 kaa sandohana %n{nahiin} karataa hai")
relations-hindi.txt 143-143
(
format
ro
exploits
"%1 %n{nu} exploit%t{foloseºte} %2")
relations-ro.kif 94-94
(
format
sv
exploits
"%1 upplever %n{inte} %2")
relations-sv.txt 74-74
(
format
tg
exploits
"%1 %n ay pagsamantalahan %2")
relations-tg.txt 217-217
(
termFormat
ChineseLanguage
exploits
"利用")
chinese_format.kif 106-106
(
termFormat
ChineseTraditionalLanguage
exploits
"利用")
domainEnglishFormat.kif 22839-22839
(
termFormat
EnglishLanguage
exploits
"exploits")
domainEnglishFormat.kif 22838-22838
(
termFormat
de
exploits
"nutztAus")
terms-de.txt 35-35
(
termFormat
tg
exploits
"pagsamantalahan")
relations-tg.txt 218-218
antecedent
(=>
(
exploits
?OBJ ?AGENT)
(
exists
(?PROCESS)
(
and
(
agent
?PROCESS ?AGENT)
(
resource
?PROCESS ?OBJ))))
Merge.kif 3937-3942
Objeto
utiliza
AutonomousAgent
Processo
Processo
e' um
agente
de
AutonomousAgent
Objeto
e' um
recurso
para
Processo
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