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
benefits
Sigma KEE - benefits
benefits
appearance as argument number 1
(
documentation
benefits
EnglishLanguage
"(
benefits
?PROCESS ?AGENT) means that ?AGENT somehow derives benefit as a result of ?PROCESS. This is a very general relation, and does not entail that ?AGENT is a participant in ?PROCESS.")
Mid-level-ontology.kif 22914-22918
(
domain
benefits
1
Process
)
Mid-level-ontology.kif 22912-22912
Le nombre 1 argument de
benefits
est une
instance
de
processus
(
domain
benefits
2
AutonomousAgent
)
Mid-level-ontology.kif 22913-22913
Le nombre 2 argument de
benefits
est une
instance
de
AutonomousAgent
(
instance
benefits
AsymmetricRelation
)
Mid-level-ontology.kif 22911-22911
benefits
est une
instance
de
relation asym�trique
(
instance
benefits
BinaryPredicate
)
Mid-level-ontology.kif 22910-22910
benefits
est une
instance
de
pr�dicat binaire
appearance as argument number 2
(
format
ChineseLanguage
benefits
"%2 %n 是 %1 的 受益者")
chinese_format.kif 63-63
(
format
EnglishLanguage
benefits
"%2 is %n a beneficiary of %1")
english_format.kif 63-63
(
format
JapaneseLanguage
benefits
"%2 は %1 の 受益者では %n")
japanese_format.kif 1880-1880
(
termFormat
ChineseLanguage
benefits
"好处")
domainEnglishFormat.kif 10733-10733
(
termFormat
ChineseLanguage
benefits
"得益")
chinese_format.kif 64-64
(
termFormat
ChineseTraditionalLanguage
benefits
"好處")
domainEnglishFormat.kif 10732-10732
(
termFormat
EnglishLanguage
benefits
"benefits")
domainEnglishFormat.kif 10731-10731
antecedent
(=>
(
and
(
equal
?PROCESSSTART
(
BeginFn
(
WhenFn
?PROCESS)))
(
equal
?AGENTEND
(
EndFn
(
WhenFn
?AGENT)))
(
benefits
?PROCESS ?AGENT))
(
before
?PROCESSSTART ?AGENTEND))
Mid-level-ontology.kif 22920-22925
Point temporel
est
d
�but de
temps
d'existence de
processus
point temporel
est
fin
de
temps
d'existence de
AutonomousAgent
benefits
processus
and
AutonomousAgent
point temporel
se produit
avant
point temporel
(=>
(
benefits
?A ?B)
(
not
(
suffers
?A ?B)))
Mid-level-ontology.kif 29590-29593
benefits
processus
and
AutonomousAgent
suffers
processus
and
AutonomousAgent
(=>
(
benefits
?A ?B)
(
wants
?B ?A))
Mid-level-ontology.kif 29606-29608
benefits
processus
and
agent cognitif
agent cognitif
veut
processus
consequent
(=>
(
businessUnit
?BU ?ORG)
(
hasPurpose
?BU
(
exists
(?PROCESS)
(
and
(
instance
?PROCESS
Process
)
(
agent
?PROCESS ?BU)
(
benefits
?PROCESS ?ORG)))))
UXExperimentalTerms.kif 2563-2570
businessUnit
organisation
and
Business
organisation
a pour
but
entit�
entit�
est une
instance
de
processus
entit�
est un
agent
de
organisation
benefits
entit�
and
Business
(=>
(
counselInCase
?H ?A ?L)
(
desires
?H
(
exists
(?LD)
(
and
(
instance
?LD
LegalDecision
)
(
causes
?L ?LD)
(
benefits
?LD ?A)))))
Law.kif 464-471
counselInCase
humain
,
AutonomousAgent
and
action l�gale
humain
desire
action l�gale
D
action l�gale
D est une
instance
de
LegalDecision
action l�gale
cause
action l�gale
D
benefits
action l�gale
D and
AutonomousAgent
(=>
(
instance
?D
Defrauding
)
(
exists
(?A ?P ?O)
(
and
(
agent
?D ?A)
(
suffers
?D ?P)
(
benefits
?D ?A)
(
objectTransferred
?D ?O)
(
origin
?O ?P)
(
destination
?O ?A))))
Mid-level-ontology.kif 18311-18320
Transf�re
est une
instance
de
Defrauding
AutonomousAgent
AutonomousAgent
and
objet
transf�re
est un
agent
de
AutonomousAgent
suffers
transf�re
and
AutonomousAgent
benefits
transf�re
and
AutonomousAgent
objectTransferred
transf�re
and
objet
objet
a pour
origine
AutonomousAgent
objet
aboutit
�
AutonomousAgent
(=>
(
instance
?P
Parasite
)
(
modalAttribute
(
exists
(?H ?PROC)
(
and
(
located
?P ?H)
(
involvedInEvent
?PROC ?P)
(
involvedInEvent
?PROC ?H)
(
benefits
?PROC ?P)
(
suffers
?PROC ?H)))
Likely
))
Mid-level-ontology.kif 5894-5904
Entit�
est une
instance
de
Parasite
l'argument
entit�
entit�
ROC
entit�
est
situ
� �
entit�
involvedInEvent
entit�
ROC and
entit�
involvedInEvent
entit�
ROC and
entit�
benefits
entit�
ROC and
entit�
suffers
entit�
ROC and
entit�
a la
force
modale
de
Likely
(=>
(
medicine
?MC ?D)
(
exists
(?DOC)
(
and
(
instance
?DOC
MedicalDoctor
)
(
believes
?DOC
(
exists
(?T ?H ?M)
(
and
(
instance
?M ?MC)
(
instance
?T
TherapeuticProcess
)
(
instance
?H
Human
)
(
patientMedical
?H ?DOC)
(
resource
?T ?M)
(
benefits
?T ?H)))))))
Mid-level-ontology.kif 9652-9665
medicine
Medicine
and
maladie ou syndrome
maladie ou syndrome
OC
maladie ou syndrome
OC est une
instance
de
MedicalDoctor
maladie ou syndrome
OC
croit
entit�
entit�
and
entit�
entit�
est une
instance
de
Medicine
entit�
est une
instance
de
processus therapeutique
entit�
est une
instance
de
humain
patientMedical
entit�
and
maladie ou syndrome
OC
entit�
est une
resource
pour
entit�
benefits
entit�
and
entit�
(=>
(
rewards
?A ?H)
(
exists
(?P)
(
and
(
agent
?P ?A)
(
benefits
?P ?H))))
Law.kif 97-102
rewards
AutonomousAgent
and
AutonomousAgent
processus
processus
est un
agent
de
AutonomousAgent
benefits
processus
and
AutonomousAgent
(=>
(
suffers
?A ?B)
(
not
(
benefits
?A ?B)))
Mid-level-ontology.kif 29585-29588
suffers
processus
and
AutonomousAgent
benefits
processus
and
AutonomousAgent
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