employs
(=>
(
monetaryWage
?ORG ?PERSON ?TIME ?MONEY)
(
employs
?ORG ?PERSON))
Mid-level-ontology.kif 16972-16974
If
an organization
is
monetary
wage
a human
for
a time duration
with
a currency measure
,
then
the organization
employ
s
the human
(=>
(
orgStaff
?AGENT ?POS)
(
exists
(?H)
(
and
(
employs
?AGENT ?H)
(
attribute
?H ?POS))))
Hotel.kif 630-635
If
an agent
has
staff
a relational attribute
,
then there exists
a cognitive agent
such that
the agent
employ
s
the cognitive agent
and
the relational attribute
is an
attribute
of
the cognitive agent
(=>
(
subordinateInOrganization
?ORG ?PERSON1 ?PERSON2)
(
employs
?ORG ?PERSON1))
Mid-level-ontology.kif 22735-22737
If
an organization
is
subordinate
in organization
a human
for
another human
,
then
the organization
employ
s
the human
(=>
(
subordinateInOrganization
?ORG ?PERSON1 ?PERSON2)
(
employs
?ORG ?PERSON2))
Mid-level-ontology.kif 22739-22741
If
an organization
is
subordinate
in organization
a human
for
another human
,
then
the organization
employ
s
the other human
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