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 22961-22963
(domainSubclass subField 1 FieldOfStudy) Mid-level-ontology.kif 22959-22959
(domainSubclass subField 2 FieldOfStudy) Mid-level-ontology.kif 22960-22960
(instance subField IrreflexiveRelation) Mid-level-ontology.kif 22958-22958
(instance subField TransitiveRelation) Mid-level-ontology.kif 22957-22957
(subrelation subField subclass) Mid-level-ontology.kif 22956-22956

appearance as argument number 2
-------------------------


(format ChineseLanguage subField "%1 是 %2 的 sub-field ") domainEnglishFormat.kif 4690-4690
(format ChineseTraditionalLanguage subField "%1 是 %2 的 sub-field ") domainEnglishFormat.kif 4689-4689
(format EnglishLanguage subField "%1 is a sub-field of %2") domainEnglishFormat.kif 4688-4688
(termFormat ChineseLanguage subField "子领域") domainEnglishFormat.kif 55726-55726
(termFormat ChineseTraditionalLanguage subField "子領域") domainEnglishFormat.kif 55725-55725
(termFormat EnglishLanguage subField "sub field") domainEnglishFormat.kif 55724-55724

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


(subField Botany Biology) Mid-level-ontology.kif 22868-22868
(subField Cartography Geography) Mid-level-ontology.kif 22827-22827
(subField ElectricalEngineering Engineering) Mid-level-ontology.kif 22905-22905
(subField Electronics Engineering) Mid-level-ontology.kif 22910-22910
(subField Electronics Physics) Mid-level-ontology.kif 22909-22909
(subField MechanicalEngineering Engineering) Mid-level-ontology.kif 22925-22925
(subField Mechanics Mathematics) Mid-level-ontology.kif 22918-22918
(subField Mechanics Physics) Mid-level-ontology.kif 22919-22919
(subField MedicalScience Biology) Mid-level-ontology.kif 22858-22858
(subField Physiology Biology) Mid-level-ontology.kif 22853-22853
(subField PowerElectronics Electronics) Mid-level-ontology.kif 22915-22915
(subField VeterinaryScience MedicalScience) Mid-level-ontology.kif 22862-22862
(subField Zoology Biology) Mid-level-ontology.kif 22873-22873


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