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 | ActuaryScience は Science の subclass では %n |
(subclass Astronomy Science) | Mid-level-ontology.kif 21221-21221 | Astronomy は Science の subclass では %n |
(subclass Biochemistry Science) | Mid-level-ontology.kif 21291-21291 | Biochemistry は Science の subclass では %n |
(subclass Biology Science) | Mid-level-ontology.kif 21259-21259 | Biology は Science の subclass では %n |
(subclass Botany Science) | Mid-level-ontology.kif 21279-21279 | Botany は Science の subclass では %n |
(subclass Cartography Science) | Mid-level-ontology.kif 21238-21238 | Cartography は Science の subclass では %n |
(subclass Chemistry Science) | Mid-level-ontology.kif 21292-21292 | Chemistry は Science の subclass では %n |
(subclass ComputerScience Science) | Mid-level-ontology.kif 21226-21226 | ComputerScience は Science の subclass では %n |
(subclass Engineering Science) | Mid-level-ontology.kif 21302-21302 | Engineering は Science の subclass では %n |
(subclass Geography Science) | Mid-level-ontology.kif 21233-21233 | Geography は Science の subclass では %n |
(subclass Geology Science) | Mid-level-ontology.kif 21241-21241 | Geology は Science の subclass では %n |
(subclass LibraryScience Science) | Mid-level-ontology.kif 21245-21245 | LibraryScience は Science の subclass では %n |
(subclass MedicalScience Science) | Mid-level-ontology.kif 21269-21269 | MedicalScience は Science の subclass では %n |
(subclass NaturalSciences Science) | Mid-level-ontology.kif 21289-21289 | NaturalSciences は Science の subclass では %n |
(subclass Paleontology Science) | Mid-level-ontology.kif 21296-21296 | Paleontology は Science の subclass では %n |
(subclass Physics Science) | Mid-level-ontology.kif 21299-21299 | Physics は Science の subclass では %n |
(subclass Physiology Science) | Mid-level-ontology.kif 21264-21264 | Physiology は Science の subclass では %n |
(subclass SocialScience Science) | Mid-level-ontology.kif 21153-21153 | SocialScience は Science の subclass では %n |
(subclass VeterinaryScience Science) | Mid-level-ontology.kif 21273-21273 | VeterinaryScience は Science の subclass では %n |
(subclass Zoology Science) | Mid-level-ontology.kif 21284-21284 | Zoology は Science の subclass では %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 |