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 子類 FieldOfStudy and Proposition
(subclass Literature FieldOfStudy) Mid-level-ontology.kif 21110-21110 子類 文獻 and FieldOfStudy
(subclass Mathematics FieldOfStudy) Mid-level-ontology.kif 21114-21114 子類 數學 and FieldOfStudy
(subclass InteriorDesign FieldOfStudy) Mid-level-ontology.kif 21118-21118 子類 室內設計 and FieldOfStudy
(subclass Science FieldOfStudy) Mid-level-ontology.kif 21122-21122 子類 科學 and FieldOfStudy
(subclass Archeology FieldOfStudy) Mid-level-ontology.kif 21142-21142 子類 Archeology and FieldOfStudy
(subclass Architecture FieldOfStudy) Mid-level-ontology.kif 21179-21179 子類 建築 and FieldOfStudy
(subclass Statistics FieldOfStudy) Mid-level-ontology.kif 21283-21283 子類 統計 and FieldOfStudy
(subclass ElectricalEngineering FieldOfStudy) Mid-level-ontology.kif 21287-21287 子類 電氣工程領域 and FieldOfStudy
(subclass Electronics FieldOfStudy) Mid-level-ontology.kif 21294-21294 子類 電子產品 and FieldOfStudy
(subclass PowerElectronics FieldOfStudy) Mid-level-ontology.kif 21299-21299 子類 PowerElectronics and FieldOfStudy
(subclass Mechanics FieldOfStudy) Mid-level-ontology.kif 21303-21303 子類 力學領域 and FieldOfStudy
(subclass MechanicalEngineering FieldOfStudy) Mid-level-ontology.kif 21309-21309 子類 機械工程領域 and FieldOfStudy
(subclass Theology FieldOfStudy) Mid-level-ontology.kif 21314-21314 子類 神學 and FieldOfStudy
(subclass MilitaryScience FieldOfStudy) Mid-level-ontology.kif 21324-21324 子類 軍事科學 and FieldOfStudy
(subclass History FieldOfStudy) Mid-level-ontology.kif 21327-21327 子類 歷史 and FieldOfStudy
(subclass Philosophy FieldOfStudy) Mid-level-ontology.kif 21331-21331 子類 哲學 and FieldOfStudy
(subclass FieldOfLaw FieldOfStudy) Mid-level-ontology.kif 21335-21335 子類 法律領域 and FieldOfStudy


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