employs

-------------------------


(=>
    (monetaryWage ?ORG ?PERSON ?TIME ?MONEY)
    (employs ?ORG ?PERSON))
Mid-level-ontology.kif 16972-16974
(=>
    (orgStaff ?AGENT ?POS)
    (exists (?H)
        (and
            (employs ?AGENT ?H)
            (attribute ?H ?POS))))
Hotel.kif 630-635
(=>
    (subordinateInOrganization ?ORG ?PERSON1 ?PERSON2)
    (employs ?ORG ?PERSON1))
Mid-level-ontology.kif 22735-22737
(=>
    (subordinateInOrganization ?ORG ?PERSON1 ?PERSON2)
    (employs ?ORG ?PERSON2))
Mid-level-ontology.kif 22739-22741


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