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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 21344-21346
(domainSubclass subField 1 FieldOfStudy) Mid-level-ontology.kif 21342-21342 The number 1 argument of sub field is a subclass of field of study
(domainSubclass subField 2 FieldOfStudy) Mid-level-ontology.kif 21343-21343 The number 2 argument of sub field is a subclass of field of study
(instance subField IrreflexiveRelation) Mid-level-ontology.kif 21341-21341 sub field is an instance of irreflexive relation
(instance subField TransitiveRelation) Mid-level-ontology.kif 21340-21340 sub field is an instance of transitive relation
(subrelation subField subclass) Mid-level-ontology.kif 21339-21339 sub field is a subrelation of subclass

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 55722-55722
(termFormat ChineseTraditionalLanguage subField "子領域") domainEnglishFormat.kif 55721-55721
(termFormat EnglishLanguage subField "sub field") domainEnglishFormat.kif 55720-55720

appearance as argument number 0
-------------------------


(subField Botany Biology) Mid-level-ontology.kif 21251-21251 Botany is a sub-field of biology
(subField Cartography Geography) Mid-level-ontology.kif 21210-21210 Cartography is a sub-field of geography
(subField ElectricalEngineering Engineering) Mid-level-ontology.kif 21288-21288 Electrical engineering is a sub-field of engineering
(subField Electronics Engineering) Mid-level-ontology.kif 21293-21293 Electronics is a sub-field of engineering
(subField Electronics Physics) Mid-level-ontology.kif 21292-21292 Electronics is a sub-field of physics
(subField MechanicalEngineering Engineering) Mid-level-ontology.kif 21308-21308 Mechanical engineering is a sub-field of engineering
(subField Mechanics Mathematics) Mid-level-ontology.kif 21301-21301 Mechanics is a sub-field of mathematics
(subField Mechanics Physics) Mid-level-ontology.kif 21302-21302 Mechanics is a sub-field of physics
(subField MedicalScience Biology) Mid-level-ontology.kif 21241-21241 Medical science is a sub-field of biology
(subField Physiology Biology) Mid-level-ontology.kif 21236-21236 Physiology is a sub-field of biology
(subField PowerElectronics Electronics) Mid-level-ontology.kif 21298-21298 Power electronics is a sub-field of electronics
(subField VeterinaryScience MedicalScience) Mid-level-ontology.kif 21245-21245 Veterinary medicine is a sub-field of medical science
(subField Zoology Biology) Mid-level-ontology.kif 21256-21256 Zoology is a sub-field of biology


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