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 研究分野 は 命題 の subclass では %n
(subclass Literature FieldOfStudy) Mid-level-ontology.kif 21109-21109 Literature は 研究分野 の subclass では %n
(subclass Mathematics FieldOfStudy) Mid-level-ontology.kif 21113-21113 Mathematics は 研究分野 の subclass では %n
(subclass InteriorDesign FieldOfStudy) Mid-level-ontology.kif 21117-21117 InteriorDesign は 研究分野 の subclass では %n
(subclass Science FieldOfStudy) Mid-level-ontology.kif 21121-21121 Science は 研究分野 の subclass では %n
(subclass Archeology FieldOfStudy) Mid-level-ontology.kif 21141-21141 Archeology は 研究分野 の subclass では %n
(subclass Architecture FieldOfStudy) Mid-level-ontology.kif 21178-21178 Architecture は 研究分野 の subclass では %n
(subclass Statistics FieldOfStudy) Mid-level-ontology.kif 21282-21282 Statistics は 研究分野 の subclass では %n
(subclass ElectricalEngineering FieldOfStudy) Mid-level-ontology.kif 21286-21286 ElectricalEngineering は 研究分野 の subclass では %n
(subclass Electronics FieldOfStudy) Mid-level-ontology.kif 21293-21293 Electronics は 研究分野 の subclass では %n
(subclass PowerElectronics FieldOfStudy) Mid-level-ontology.kif 21298-21298 PowerElectronics は 研究分野 の subclass では %n
(subclass Mechanics FieldOfStudy) Mid-level-ontology.kif 21302-21302 Mechanics は 研究分野 の subclass では %n
(subclass MechanicalEngineering FieldOfStudy) Mid-level-ontology.kif 21308-21308 MechanicalEngineering は 研究分野 の subclass では %n
(subclass Theology FieldOfStudy) Mid-level-ontology.kif 21313-21313 Theology は 研究分野 の subclass では %n
(subclass MilitaryScience FieldOfStudy) Mid-level-ontology.kif 21323-21323 MilitaryScience は 研究分野 の subclass では %n
(subclass History FieldOfStudy) Mid-level-ontology.kif 21326-21326 History は 研究分野 の subclass では %n
(subclass Philosophy FieldOfStudy) Mid-level-ontology.kif 21330-21330 Philosophy は 研究分野 の subclass では %n
(subclass FieldOfLaw FieldOfStudy) Mid-level-ontology.kif 21334-21334 FieldOfLaw は 研究分野 の subclass では %n


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