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 18923-18928
(subclass Science FieldOfStudy) Mid-level-ontology.kif 21149-21149 Science研究分野subclass では %n
(subclass SocialScience Science) Mid-level-ontology.kif 21153-21153 SocialScienceSciencesubclass では %n
(subclass ActuaryScience Science) Mid-level-ontology.kif 21164-21164 ActuaryScienceSciencesubclass では %n
(subclass Astronomy Science) Mid-level-ontology.kif 21221-21221 AstronomySciencesubclass では %n
(subclass ComputerScience Science) Mid-level-ontology.kif 21226-21226 ComputerScienceSciencesubclass では %n
(subclass Geography Science) Mid-level-ontology.kif 21233-21233 GeographySciencesubclass では %n
(subclass Cartography Science) Mid-level-ontology.kif 21238-21238 CartographySciencesubclass では %n
(subclass Geology Science) Mid-level-ontology.kif 21241-21241 GeologySciencesubclass では %n
(subclass LibraryScience Science) Mid-level-ontology.kif 21245-21245 LibraryScienceSciencesubclass では %n
(subclass Biology Science) Mid-level-ontology.kif 21259-21259 BiologySciencesubclass では %n
(subclass Physiology Science) Mid-level-ontology.kif 21264-21264 PhysiologySciencesubclass では %n
(subclass MedicalScience Science) Mid-level-ontology.kif 21269-21269 MedicalScienceSciencesubclass では %n
(subclass VeterinaryScience Science) Mid-level-ontology.kif 21273-21273 VeterinaryScienceSciencesubclass では %n
(subclass Botany Science) Mid-level-ontology.kif 21279-21279 BotanySciencesubclass では %n
(subclass Zoology Science) Mid-level-ontology.kif 21284-21284 ZoologySciencesubclass では %n
(subclass NaturalSciences Science) Mid-level-ontology.kif 21289-21289 NaturalSciencesSciencesubclass では %n
(subclass Biochemistry Science) Mid-level-ontology.kif 21291-21291 BiochemistrySciencesubclass では %n
(subclass Chemistry Science) Mid-level-ontology.kif 21292-21292 ChemistrySciencesubclass では %n
(subclass Paleontology Science) Mid-level-ontology.kif 21296-21296 PaleontologySciencesubclass では %n
(subclass Physics Science) Mid-level-ontology.kif 21299-21299 PhysicsSciencesubclass では %n
(subclass Engineering Science) Mid-level-ontology.kif 21302-21302 EngineeringSciencesubclass では %n


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