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 19037-19039
(domain subField 1 FieldOfStudy) Mid-level-ontology.kif 19035-19035
(domain subField 2 FieldOfStudy) Mid-level-ontology.kif 19036-19036
(instance subField IrreflexiveRelation) Mid-level-ontology.kif 19034-19034
(instance subField TransitiveRelation) Mid-level-ontology.kif 19033-19033
(subrelation subField subProposition) Mid-level-ontology.kif 19032-19032

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 55712-55712
(termFormat ChineseTraditionalLanguage subField "子領域") domainEnglishFormat.kif 55711-55711
(termFormat EnglishLanguage subField "sub field") domainEnglishFormat.kif 55710-55710

appearance as argument number 0

(subField Botany Biology) Mid-level-ontology.kif 18963-18963
(subField Cartography Geography) Mid-level-ontology.kif 18928-18928
(subField ElectricalEngineering Engineering) Mid-level-ontology.kif 18994-18994
(subField Electronics Engineering) Mid-level-ontology.kif 18996-18996
(subField Electronics Physics) Mid-level-ontology.kif 18995-18995
(subField MechanicalEngineering Engineering) Mid-level-ontology.kif 19006-19006
(subField Mechanics Physics) Mid-level-ontology.kif 19004-19004
(subField MedicalScience Biology) Mid-level-ontology.kif 18955-18955
(subField Physiology Biology) Mid-level-ontology.kif 18950-18950
(subField PowerElectronics Electronics) Mid-level-ontology.kif 19001-19001
(subField VeterinaryScience MedicalScience) Mid-level-ontology.kif 18959-18959
(subField Zoology Biology) Mid-level-ontology.kif 18967-18967

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