Sigma KB Term Intersection

(=> (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	Wenn Entity ist ein fall von OccupationalTrade %n{nicht} oder Entity ist ein fall von Profession %n{nicht} und Entity ist ein attribut von entity %n{nicht} haelt waehrend TimePosition %n{nicht}, dann es gibt Class um Class ist eine teilkategorie von FieldOfStudy und hasExpertise entity and Class haelt waehrend TimePosition %n{nicht}
(subclass FieldOfStudy Proposition)	Merge.kif 16791-16791	FieldOfStudy ist eine teilkategorie von Proposition
(subclass Literature FieldOfStudy)	Mid-level-ontology.kif 21109-21109	Literature ist eine teilkategorie von FieldOfStudy
(subclass Mathematics FieldOfStudy)	Mid-level-ontology.kif 21113-21113	Mathematics ist eine teilkategorie von FieldOfStudy
(subclass InteriorDesign FieldOfStudy)	Mid-level-ontology.kif 21117-21117	InteriorDesign ist eine teilkategorie von FieldOfStudy
(subclass Science FieldOfStudy)	Mid-level-ontology.kif 21121-21121	Science ist eine teilkategorie von FieldOfStudy
(subclass Archeology FieldOfStudy)	Mid-level-ontology.kif 21141-21141	Archeology ist eine teilkategorie von FieldOfStudy
(subclass Architecture FieldOfStudy)	Mid-level-ontology.kif 21178-21178	Architecture ist eine teilkategorie von FieldOfStudy
(subclass Statistics FieldOfStudy)	Mid-level-ontology.kif 21282-21282	Statistics ist eine teilkategorie von FieldOfStudy
(subclass ElectricalEngineering FieldOfStudy)	Mid-level-ontology.kif 21286-21286	ElectricalEngineering ist eine teilkategorie von FieldOfStudy
(subclass Electronics FieldOfStudy)	Mid-level-ontology.kif 21293-21293	Electronics ist eine teilkategorie von FieldOfStudy
(subclass PowerElectronics FieldOfStudy)	Mid-level-ontology.kif 21298-21298	PowerElectronics ist eine teilkategorie von FieldOfStudy
(subclass Mechanics FieldOfStudy)	Mid-level-ontology.kif 21302-21302	Mechanics ist eine teilkategorie von FieldOfStudy
(subclass MechanicalEngineering FieldOfStudy)	Mid-level-ontology.kif 21308-21308	MechanicalEngineering ist eine teilkategorie von FieldOfStudy
(subclass Theology FieldOfStudy)	Mid-level-ontology.kif 21313-21313	Theology ist eine teilkategorie von FieldOfStudy
(subclass MilitaryScience FieldOfStudy)	Mid-level-ontology.kif 21323-21323	MilitaryScience ist eine teilkategorie von FieldOfStudy
(subclass History FieldOfStudy)	Mid-level-ontology.kif 21326-21326	History ist eine teilkategorie von FieldOfStudy
(subclass Philosophy FieldOfStudy)	Mid-level-ontology.kif 21330-21330	Philosophy ist eine teilkategorie von FieldOfStudy
(subclass FieldOfLaw FieldOfStudy)	Mid-level-ontology.kif 21334-21334	FieldOfLaw ist eine teilkategorie von 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