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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Sociology

Sigma KEE - Sociology
Sociology(社會學)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21279-21280
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21278-21278 子類 社會學 and 社會科學

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53636-53636
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53635-53635
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53634-53634

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


No TPTP formula. May not be expressible in strict first order. Biography.kif 579-581


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