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 21127-21129
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 21126-21126 社会科学 是 科学 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21134-21134 人类学 是 社会科学 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21203-21203 经济学 是 社会科学 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21226-21226 语言学 是 社会科学 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21131-21131 政治学 是 社会科学 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21229-21229 心理学 是 社会科学 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21279-21279 社会学 是 社会科学 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53648-53648
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53647-53647
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53646-53646


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