Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Science

Sigma KEE - Science
Science

appearance as argument number 1
-------------------------


(documentation Science EnglishLanguage "Any FieldOfStudy which tests theories on the basis of careful observations and/ or experiments and which has a cumulative body of results.") Mid-level-ontology.kif 21150-21151
(externalImage Science "http://articulatesoftware.com/SUMOpictures/working/ science.png") pictureList.kif 717-717
(externalImage Science "http://upload.wikimedia.org/wikipedia/commons/e/ e4/ DNA_Overview2.png") pictureList.kif 8697-8697
(subclass Science FieldOfStudy) Mid-level-ontology.kif 21149-21149 Science研究分野subclass では %n

appearance as argument number 2
-------------------------


(subclass ActuaryScience Science) Mid-level-ontology.kif 21164-21164 ActuaryScienceSciencesubclass では %n
(subclass Astronomy Science) Mid-level-ontology.kif 21221-21221 AstronomySciencesubclass では %n
(subclass Biochemistry Science) Mid-level-ontology.kif 21291-21291 BiochemistrySciencesubclass では %n
(subclass Biology Science) Mid-level-ontology.kif 21259-21259 BiologySciencesubclass では %n
(subclass Botany Science) Mid-level-ontology.kif 21279-21279 BotanySciencesubclass では %n
(subclass Cartography Science) Mid-level-ontology.kif 21238-21238 CartographySciencesubclass では %n
(subclass Chemistry Science) Mid-level-ontology.kif 21292-21292 ChemistrySciencesubclass では %n
(subclass ComputerScience Science) Mid-level-ontology.kif 21226-21226 ComputerScienceSciencesubclass では %n
(subclass Engineering Science) Mid-level-ontology.kif 21302-21302 EngineeringSciencesubclass では %n
(subclass Geography Science) Mid-level-ontology.kif 21233-21233 GeographySciencesubclass では %n
(subclass Geology Science) Mid-level-ontology.kif 21241-21241 GeologySciencesubclass では %n
(subclass LibraryScience Science) Mid-level-ontology.kif 21245-21245 LibraryScienceSciencesubclass では %n
(subclass MedicalScience Science) Mid-level-ontology.kif 21269-21269 MedicalScienceSciencesubclass では %n
(subclass NaturalSciences Science) Mid-level-ontology.kif 21289-21289 NaturalSciencesSciencesubclass では %n
(subclass Paleontology Science) Mid-level-ontology.kif 21296-21296 PaleontologySciencesubclass では %n
(subclass Physics Science) Mid-level-ontology.kif 21299-21299 PhysicsSciencesubclass では %n
(subclass Physiology Science) Mid-level-ontology.kif 21264-21264 PhysiologySciencesubclass では %n
(subclass SocialScience Science) Mid-level-ontology.kif 21153-21153 SocialScienceSciencesubclass では %n
(subclass VeterinaryScience Science) Mid-level-ontology.kif 21273-21273 VeterinaryScienceSciencesubclass では %n
(subclass Zoology Science) Mid-level-ontology.kif 21284-21284 ZoologySciencesubclass では %n
(termFormat ChineseLanguage Science "科学") domainEnglishFormat.kif 51563-51563
(termFormat ChineseTraditionalLanguage Science "科學") domainEnglishFormat.kif 51562-51562
(termFormat EnglishLanguage Science "science") domainEnglishFormat.kif 51561-51561

consequent
-------------------------


(=>
    (attribute ?P Researcher)
    (exists (?S)
        (and
            (subclass ?S Science)
            (hasExpertise ?P ?S))))
Mid-level-ontology.kif 18923-18928
(=>
    (attribute ?PERSON Scientist)
    (hasExpertise ?PERSON Science))
Biography.kif 348-350


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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