Browsing Interface
: 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
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
subField
Sigma KEE - subField
subField
appearance as argument number 1
(
documentation
subField
EnglishLanguage
"(
subField
?FIELD1 ?FIELD2) means that ?FIELD1 is a proper part of the ?FIELD2. For example,
Physiology
is a
subField
of
Biology
.")
Mid-level-ontology.kif 21371-21373
(
domainSubclass
subField
1
FieldOfStudy
)
Mid-level-ontology.kif 21369-21369
(
domainSubclass
subField
2
FieldOfStudy
)
Mid-level-ontology.kif 21370-21370
(
instance
subField
IrreflexiveRelation
)
Mid-level-ontology.kif 21368-21368
(
instance
subField
TransitiveRelation
)
Mid-level-ontology.kif 21367-21367
(
subrelation
subField
subclass
)
Mid-level-ontology.kif 21366-21366
appearance as argument number 2
(
format
ChineseLanguage
subField
"%1 是 %2 的 sub-field ")
domainEnglishFormat.kif 4686-4686
(
format
ChineseTraditionalLanguage
subField
"%1 是 %2 的 sub-field ")
domainEnglishFormat.kif 4685-4685
(
format
EnglishLanguage
subField
"%1 is a sub-field of %2")
domainEnglishFormat.kif 4684-4684
(
termFormat
ChineseLanguage
subField
"子领域")
domainEnglishFormat.kif 55724-55724
(
termFormat
ChineseTraditionalLanguage
subField
"子領域")
domainEnglishFormat.kif 55723-55723
(
termFormat
EnglishLanguage
subField
"sub field")
domainEnglishFormat.kif 55722-55722
appearance as argument number 0
(
subField
Botany
Biology
)
Mid-level-ontology.kif 21278-21278
(
subField
Cartography
Geography
)
Mid-level-ontology.kif 21237-21237
(
subField
ElectricalEngineering
Engineering
)
Mid-level-ontology.kif 21315-21315
(
subField
Electronics
Engineering
)
Mid-level-ontology.kif 21320-21320
(
subField
Electronics
Physics
)
Mid-level-ontology.kif 21319-21319
(
subField
MechanicalEngineering
Engineering
)
Mid-level-ontology.kif 21335-21335
(
subField
Mechanics
Mathematics
)
Mid-level-ontology.kif 21328-21328
(
subField
Mechanics
Physics
)
Mid-level-ontology.kif 21329-21329
(
subField
MedicalScience
Biology
)
Mid-level-ontology.kif 21268-21268
(
subField
Physiology
Biology
)
Mid-level-ontology.kif 21263-21263
(
subField
PowerElectronics
Electronics
)
Mid-level-ontology.kif 21325-21325
(
subField
VeterinaryScience
MedicalScience
)
Mid-level-ontology.kif 21272-21272
(
subField
Zoology
Biology
)
Mid-level-ontology.kif 21283-21283
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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