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

Formal Language: 



KB Term:  Term intersection
English Word: 

  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 21343-21345
(domainSubclass subField 1 FieldOfStudy) Mid-level-ontology.kif 21341-21341
(domainSubclass subField 2 FieldOfStudy) Mid-level-ontology.kif 21342-21342
(instance subField IrreflexiveRelation) Mid-level-ontology.kif 21340-21340
(instance subField TransitiveRelation) Mid-level-ontology.kif 21339-21339
(subrelation subField subclass) Mid-level-ontology.kif 21338-21338

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 21250-21250
(subField Cartography Geography) Mid-level-ontology.kif 21209-21209
(subField ElectricalEngineering Engineering) Mid-level-ontology.kif 21287-21287
(subField Electronics Engineering) Mid-level-ontology.kif 21292-21292
(subField Electronics Physics) Mid-level-ontology.kif 21291-21291
(subField MechanicalEngineering Engineering) Mid-level-ontology.kif 21307-21307
(subField Mechanics Mathematics) Mid-level-ontology.kif 21300-21300
(subField Mechanics Physics) Mid-level-ontology.kif 21301-21301
(subField MedicalScience Biology) Mid-level-ontology.kif 21240-21240
(subField Physiology Biology) Mid-level-ontology.kif 21235-21235
(subField PowerElectronics Electronics) Mid-level-ontology.kif 21297-21297
(subField VeterinaryScience MedicalScience) Mid-level-ontology.kif 21244-21244
(subField Zoology Biology) Mid-level-ontology.kif 21255-21255


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