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 8292-8301
(subclass FieldOfStudy Proposition) Merge.kif 16791-16791 子類 FieldOfStudy and Proposition
(subclass Literature FieldOfStudy) Mid-level-ontology.kif 21109-21109 子類 文獻 and FieldOfStudy
(subclass Mathematics FieldOfStudy) Mid-level-ontology.kif 21113-21113 子類 數學 and FieldOfStudy
(subclass InteriorDesign FieldOfStudy) Mid-level-ontology.kif 21117-21117 子類 室內設計 and FieldOfStudy
(subclass Science FieldOfStudy) Mid-level-ontology.kif 21121-21121 子類 科學 and FieldOfStudy
(subclass Archeology FieldOfStudy) Mid-level-ontology.kif 21141-21141 子類 Archeology and FieldOfStudy
(subclass Architecture FieldOfStudy) Mid-level-ontology.kif 21178-21178 子類 建築 and FieldOfStudy
(subclass Statistics FieldOfStudy) Mid-level-ontology.kif 21282-21282 子類 統計 and FieldOfStudy
(subclass ElectricalEngineering FieldOfStudy) Mid-level-ontology.kif 21286-21286 子類 電氣工程領域 and FieldOfStudy
(subclass Electronics FieldOfStudy) Mid-level-ontology.kif 21293-21293 子類 電子產品 and FieldOfStudy
(subclass PowerElectronics FieldOfStudy) Mid-level-ontology.kif 21298-21298 子類 PowerElectronics and FieldOfStudy
(subclass Mechanics FieldOfStudy) Mid-level-ontology.kif 21302-21302 子類 力學領域 and FieldOfStudy
(subclass MechanicalEngineering FieldOfStudy) Mid-level-ontology.kif 21308-21308 子類 機械工程領域 and FieldOfStudy
(subclass Theology FieldOfStudy) Mid-level-ontology.kif 21313-21313 子類 神學 and FieldOfStudy
(subclass MilitaryScience FieldOfStudy) Mid-level-ontology.kif 21323-21323 子類 軍事科學 and FieldOfStudy
(subclass History FieldOfStudy) Mid-level-ontology.kif 21326-21326 子類 歷史 and FieldOfStudy
(subclass Philosophy FieldOfStudy) Mid-level-ontology.kif 21330-21330 子類 哲學 and FieldOfStudy
(subclass FieldOfLaw FieldOfStudy) Mid-level-ontology.kif 21334-21334 子類 法律領域 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