Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - subField

appearance as argument number 1

(documentation subField EnglishLanguage "(subField ?FIELD1 ?FIELD2) means that ?FIELD1 is a proper part of the FieldOfStudy ?FIELD2. For example, Physiology is a subField of Biology.") Mid-level-ontology.kif 20311-20313
(domain subField 1 FieldOfStudy) Mid-level-ontology.kif 20309-20309
(domain subField 2 FieldOfStudy) Mid-level-ontology.kif 20310-20310
(instance subField IrreflexiveRelation) Mid-level-ontology.kif 20308-20308
(instance subField TransitiveRelation) Mid-level-ontology.kif 20307-20307
(subrelation subField subProposition) Mid-level-ontology.kif 20306-20306

appearance as argument number 2

(format ChineseLanguage subField "%1 是 %2 的 sub-field ") domainEnglishFormat.kif 4695-4695
(format ChineseTraditionalLanguage subField "%1 是 %2 的 sub-field ") domainEnglishFormat.kif 4694-4694
(format EnglishLanguage subField "%1 is a sub-field of %2") domainEnglishFormat.kif 4693-4693
(termFormat ChineseLanguage subField "子领域") domainEnglishFormat.kif 55701-55701
(termFormat ChineseTraditionalLanguage subField "子領域") domainEnglishFormat.kif 55700-55700
(termFormat EnglishLanguage subField "sub field") domainEnglishFormat.kif 55699-55699

appearance as argument number 0

(subField Botany Biology) Mid-level-ontology.kif 20231-20231
(subField Cartography Geography) Mid-level-ontology.kif 20190-20190
(subField ElectricalEngineering Engineering) Mid-level-ontology.kif 20267-20267
(subField Electronics Engineering) Mid-level-ontology.kif 20269-20269
(subField Electronics Physics) Mid-level-ontology.kif 20268-20268
(subField MechanicalEngineering Engineering) Mid-level-ontology.kif 20279-20279
(subField Mechanics Physics) Mid-level-ontology.kif 20277-20277
(subField MedicalScience Biology) Mid-level-ontology.kif 20221-20221
(subField Physiology Biology) Mid-level-ontology.kif 20216-20216
(subField PowerElectronics Electronics) Mid-level-ontology.kif 20274-20274
(subField VeterinaryScience MedicalScience) Mid-level-ontology.kif 20225-20225
(subField Zoology Biology) Mid-level-ontology.kif 20236-20236

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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