Term Intersection
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
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
Entit�
est une
instance
de
OccupationalTrade
entit�
est une
instance
de
Profession
entit�
est un
attribut
de
entit�
pendant
position temporel
classe
classe
est une
sous
-classe de
champ d'�tude
hasExpertise
entit�
and
classe
pendant
position temporel
(
subclass
FieldOfStudy
Proposition
)
Merge.kif 16769-16769
Champ d'�tude
est une
sous
-classe de
proposition
(
subclass
Literature
FieldOfStudy
)
Mid-level-ontology.kif 21110-21110
Literature
est une
sous
-classe de
champ d'�tude
(
subclass
Mathematics
FieldOfStudy
)
Mid-level-ontology.kif 21114-21114
Mathematics
est une
sous
-classe de
champ d'�tude
(
subclass
InteriorDesign
FieldOfStudy
)
Mid-level-ontology.kif 21118-21118
InteriorDesign
est une
sous
-classe de
champ d'�tude
(
subclass
Science
FieldOfStudy
)
Mid-level-ontology.kif 21122-21122
Science
est une
sous
-classe de
champ d'�tude
(
subclass
Archeology
FieldOfStudy
)
Mid-level-ontology.kif 21142-21142
Archeology
est une
sous
-classe de
champ d'�tude
(
subclass
Architecture
FieldOfStudy
)
Mid-level-ontology.kif 21179-21179
Architecture
est une
sous
-classe de
champ d'�tude
(
subclass
Statistics
FieldOfStudy
)
Mid-level-ontology.kif 21283-21283
Statistics
est une
sous
-classe de
champ d'�tude
(
subclass
ElectricalEngineering
FieldOfStudy
)
Mid-level-ontology.kif 21287-21287
ElectricalEngineering
est une
sous
-classe de
champ d'�tude
(
subclass
Electronics
FieldOfStudy
)
Mid-level-ontology.kif 21294-21294
Electronics
est une
sous
-classe de
champ d'�tude
(
subclass
PowerElectronics
FieldOfStudy
)
Mid-level-ontology.kif 21299-21299
PowerElectronics
est une
sous
-classe de
champ d'�tude
(
subclass
Mechanics
FieldOfStudy
)
Mid-level-ontology.kif 21303-21303
Mechanics
est une
sous
-classe de
champ d'�tude
(
subclass
MechanicalEngineering
FieldOfStudy
)
Mid-level-ontology.kif 21309-21309
MechanicalEngineering
est une
sous
-classe de
champ d'�tude
(
subclass
Theology
FieldOfStudy
)
Mid-level-ontology.kif 21314-21314
Theology
est une
sous
-classe de
champ d'�tude
(
subclass
MilitaryScience
FieldOfStudy
)
Mid-level-ontology.kif 21324-21324
MilitaryScience
est une
sous
-classe de
champ d'�tude
(
subclass
History
FieldOfStudy
)
Mid-level-ontology.kif 21327-21327
History
est une
sous
-classe de
champ d'�tude
(
subclass
Philosophy
FieldOfStudy
)
Mid-level-ontology.kif 21331-21331
Philosophy
est une
sous
-classe de
champ d'�tude
(
subclass
FieldOfLaw
FieldOfStudy
)
Mid-level-ontology.kif 21335-21335
FieldOfLaw
est une
sous
-classe de
champ d'�tude
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