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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FieldOfStudy

 Sigma KEE - FieldOfStudy
FieldOfStudy(研究领域)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3756-3758
No TPTP formula. May not be expressible in strict first order. Merge.kif 16792-16797
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11000-11000
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10999-10999
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10016-10016
No TPTP formula. May not be expressible in strict first order. Merge.kif 16791-16791 研究领域 是 命题 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21141-21141 Archeology 是 研究领域 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21178-21178 建筑 是 研究领域 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21286-21286 电气工程领域 是 研究领域 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21293-21293 电子产品 是 研究领域 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21334-21334 法律领域 是 研究领域 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21326-21326 历史 是 研究领域 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21117-21117 室内设计 是 研究领域 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21109-21109 文献 是 研究领域 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21113-21113 数学 是 研究领域 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21308-21308 机械工程领域 是 研究领域 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21302-21302 力学领域 是 研究领域 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21323-21323 军事科学 是 研究领域 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21330-21330 哲学 是 研究领域 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21298-21298 PowerElectronics 是 研究领域 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21121-21121 科学 是 研究领域 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21282-21282 统计 是 研究领域 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21313-21313 神学 是 研究领域 的 subclass
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1231-1231
No TPTP formula. May not be expressible in strict first order. english_format.kif 1683-1683
No TPTP formula. May not be expressible in strict first order. french_format.kif 909-909
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 442-442
No TPTP formula. May not be expressible in strict first order. terms-it.txt 445-445
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2593-2593
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 861-861

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21349-21349 有专业知识 的 2 数量 是 研究领域 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21341-21341 子领域 的 1 数量 是 研究领域 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21342-21342 子领域 的 2 数量 是 研究领域 的 subclass

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8292-8301


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