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

Formal Language: 



Term 1: Term 2:

(=>
    (attribute ?P Researcher)
    (exists (?S)
        (and
            (subclass ?S Science)
            (hasExpertise ?P ?S))))		 Mid-level-ontology.kif 18895-18900
(subclass Science FieldOfStudy) Mid-level-ontology.kif 21121-21121 Science è una sottoclasse di CampoDiStudio
(subclass SocialScience Science) Mid-level-ontology.kif 21125-21125 SocialScience è una sottoclasse di Science
(subclass ActuaryScience Science) Mid-level-ontology.kif 21136-21136 ActuaryScience è una sottoclasse di Science
(subclass Astronomy Science) Mid-level-ontology.kif 21193-21193 Astronomy è una sottoclasse di Science
(subclass ComputerScience Science) Mid-level-ontology.kif 21198-21198 ComputerScience è una sottoclasse di Science
(subclass Geography Science) Mid-level-ontology.kif 21205-21205 Geography è una sottoclasse di Science
(subclass Cartography Science) Mid-level-ontology.kif 21210-21210 Cartography è una sottoclasse di Science
(subclass Geology Science) Mid-level-ontology.kif 21213-21213 Geology è una sottoclasse di Science
(subclass LibraryScience Science) Mid-level-ontology.kif 21217-21217 LibraryScience è una sottoclasse di Science
(subclass Biology Science) Mid-level-ontology.kif 21231-21231 Biology è una sottoclasse di Science
(subclass Physiology Science) Mid-level-ontology.kif 21236-21236 Physiology è una sottoclasse di Science
(subclass MedicalScience Science) Mid-level-ontology.kif 21241-21241 MedicalScience è una sottoclasse di Science
(subclass VeterinaryScience Science) Mid-level-ontology.kif 21245-21245 VeterinaryScience è una sottoclasse di Science
(subclass Botany Science) Mid-level-ontology.kif 21251-21251 Botany è una sottoclasse di Science
(subclass Zoology Science) Mid-level-ontology.kif 21256-21256 Zoology è una sottoclasse di Science
(subclass NaturalSciences Science) Mid-level-ontology.kif 21261-21261 NaturalSciences è una sottoclasse di Science
(subclass Biochemistry Science) Mid-level-ontology.kif 21263-21263 Biochemistry è una sottoclasse di Science
(subclass Chemistry Science) Mid-level-ontology.kif 21264-21264 Chemistry è una sottoclasse di Science
(subclass Paleontology Science) Mid-level-ontology.kif 21268-21268 Paleontology è una sottoclasse di Science
(subclass Physics Science) Mid-level-ontology.kif 21271-21271 Physics è una sottoclasse di Science
(subclass Engineering Science) Mid-level-ontology.kif 21274-21274 Engineering è una sottoclasse di Science


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