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
The number 1 argument of
benefits
is an
instance
of
process
(
domain
benefits
2
AutonomousAgent
)
Mid-level-ontology.kif 22913-22913
The number 2 argument of
benefits
is an
instance
of
agent
(
instance
benefits
AsymmetricRelation
)
Mid-level-ontology.kif 22911-22911
benefits
is an
instance
of
asymmetric relation
(
instance
benefits
BinaryPredicate
)
Mid-level-ontology.kif 22910-22910
benefits
is an
instance
of
binary predicate
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
If
a time point
is
equal
to the
beginning
of the
time
of existence of
a process
and
another time point
is
equal
to the
end
of the
time
of existence of
an agent
and
the agent
is a beneficiary of
the process
,
then
the time point
happens
before
the other time point
(=>
(
benefits
?A ?B)
(
not
(
suffers
?A ?B)))
Mid-level-ontology.kif 29590-29593
If
an agent
is a beneficiary of
a process
,
then not
the agent
suffers
from
the process
(=>
(
benefits
?A ?B)
(
wants
?B ?A))
Mid-level-ontology.kif 29606-29608
If
a cognitive agent
is a beneficiary of
a process
,
then
the cognitive agent
want
s
the process
consequent
(=>
(
businessUnit
?BU ?ORG)
(
hasPurpose
?BU
(
exists
(?PROCESS)
(
and
(
instance
?PROCESS
Process
)
(
agent
?PROCESS ?BU)
(
benefits
?PROCESS ?ORG)))))
UXExperimentalTerms.kif 2563-2570
If
an organization
is a
business
unit of
a business
,
then
the organization
has the purpose there exists
an entity
such that
the entity
is an
instance
of
process
and
the organization
is an
agent
of
the entity
and
the business
is a beneficiary of
the entity
(=>
(
counselInCase
?H ?A ?L)
(
desires
?H
(
exists
(?LD)
(
and
(
instance
?LD
LegalDecision
)
(
causes
?L ?LD)
(
benefits
?LD ?A)))))
Law.kif 464-471
If
a human
is the counsel for
an agent
in
a legal action
,
then
the human
desire
s there exists
the legal action
D such that
the legal action
D is an
instance
of
legal decision
and
the legal action
cause
s
the legal action
D and
the agent
is a beneficiary of
the legal action
D
(=>
(
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
If
a transfer
is an
instance
of
defrauding
,
then there exist
an agent
,
another agent
and
an object
such that
the agent
is an
agent
of
the transfer
and
the other agent
suffers
from
the transfer
and
the agent
is a beneficiary of
the transfer
and the object transferred in
the transfer
is
the object
and
the object
originate
s at
the other agent
and
the object
end
s up at
the agent
(=>
(
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
If
an entity
is an
instance
of
parasite
,
then the statement there exist
another entity
and
the entity
ROC such that
the entity
is
located
at
the other entity
and
the entity
is an
involved
in event of
the entity
ROC and
the other entity
is an
involved
in event of
the entity
ROC and
the entity
is a beneficiary of
the entity
ROC and
the other entity
suffers
from
the entity
ROC has the
modal
force
of
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
If
a kind of medicine
is medicine for
a disease or syndrome
,
then there exists
the disease or syndrome
OC such that
the disease or syndrome
OC is an
instance
of
medical doctor
and
the disease or syndrome
OC
believe
s there exist
an entity
,
another entity
and
a third entity
such that
the third entity
is an
instance
of
a kind of medicine
and
the entity
is an
instance
of
therapeutic process
and
the other entity
is an
instance
of
human
and
the disease or syndrome
OC is a
patient
medical of
the other entity
and
the third entity
is a
resource
for
the entity
and
the other entity
is a beneficiary of
the entity
(=>
(
rewards
?A ?H)
(
exists
(?P)
(
and
(
agent
?P ?A)
(
benefits
?P ?H))))
Law.kif 97-102
If
an agent
rewards
another agent
,
then there exists
a process
such that
the agent
is an
agent
of
the process
and
the other agent
is a beneficiary of
the process
(=>
(
suffers
?A ?B)
(
not
(
benefits
?A ?B)))
Mid-level-ontology.kif 29585-29588
If
an agent
suffers
from
a process
,
then
the agent
is not a beneficiary of
the process
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