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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SocialScience

 Sigma KEE - SocialScience
SocialScience(社会科学)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21154-21156
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6869-6869
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7907-7907
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7908-7908
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7909-7909
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7910-7910
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7911-7911
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21153-21153 社会科学 是 科学 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21161-21161 人类学 是 社会科学 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21230-21230 经济学 是 社会科学 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21253-21253 语言学 是 社会科学 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21158-21158 政治学 是 社会科学 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21256-21256 心理学 是 社会科学 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21306-21306 社会学 是 社会科学 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53650-53650
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53649-53649
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53648-53648


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