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 FieldOfStudy Proposition) Merge.kif 16769-16769 研究领域 是 命题 的 subclass
(subclass Literature FieldOfStudy) Mid-level-ontology.kif 21110-21110 文献 是 研究领域 的 subclass
(subclass Mathematics FieldOfStudy) Mid-level-ontology.kif 21114-21114 数学 是 研究领域 的 subclass
(subclass InteriorDesign FieldOfStudy) Mid-level-ontology.kif 21118-21118 室内设计 是 研究领域 的 subclass
(subclass Science FieldOfStudy) Mid-level-ontology.kif 21122-21122 科学 是 研究领域 的 subclass
(subclass Archeology FieldOfStudy) Mid-level-ontology.kif 21142-21142 Archeology 是 研究领域 的 subclass
(subclass Architecture FieldOfStudy) Mid-level-ontology.kif 21179-21179 建筑 是 研究领域 的 subclass
(subclass Statistics FieldOfStudy) Mid-level-ontology.kif 21283-21283 统计 是 研究领域 的 subclass
(subclass ElectricalEngineering FieldOfStudy) Mid-level-ontology.kif 21287-21287 电气工程领域 是 研究领域 的 subclass
(subclass Electronics FieldOfStudy) Mid-level-ontology.kif 21294-21294 电子产品 是 研究领域 的 subclass
(subclass PowerElectronics FieldOfStudy) Mid-level-ontology.kif 21299-21299 PowerElectronics 是 研究领域 的 subclass
(subclass Mechanics FieldOfStudy) Mid-level-ontology.kif 21303-21303 力学领域 是 研究领域 的 subclass
(subclass MechanicalEngineering FieldOfStudy) Mid-level-ontology.kif 21309-21309 机械工程领域 是 研究领域 的 subclass
(subclass Theology FieldOfStudy) Mid-level-ontology.kif 21314-21314 神学 是 研究领域 的 subclass
(subclass MilitaryScience FieldOfStudy) Mid-level-ontology.kif 21324-21324 军事科学 是 研究领域 的 subclass
(subclass History FieldOfStudy) Mid-level-ontology.kif 21327-21327 历史 是 研究领域 的 subclass
(subclass Philosophy FieldOfStudy) Mid-level-ontology.kif 21331-21331 哲学 是 研究领域 的 subclass
(subclass FieldOfLaw FieldOfStudy) Mid-level-ontology.kif 21335-21335 法律领域 是 研究领域 的 subclass


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