Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(=>
    (and
        (or
            (instance ?ROLE OccupationalTrade)
            (instance ?ROLE Profession))
        (holdsDuring ?T1
            (attribute ?HUMAN ?ROLE)))
    (exists (?FIELD)
        (and
            (subclass ?FIELD FieldOfStudy)
            (holdsDuring ?T1
                (hasExpertise ?HUMAN ?FIELD)))))
Mid-level-ontology.kif 8293-8302
(subclass Profession SkilledOccupation) Mid-level-ontology.kif 8288-8288
(subclass GovernmentPosition Profession) Mid-level-ontology.kif 18939-18939
(subclass MedicalPerson Profession) Medicine.kif 6334-6334


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