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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SocialScience

 Sigma KEE - SocialScience
SocialScience(social science)
more pictures...		social_science

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 Social science is a subclass of science

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21134-21134 Anthropology is a subclass of social science
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21203-21203 Economics is a subclass of social science
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21226-21226 Linguistics is a subclass of social science
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21131-21131 Political science is a subclass of social science
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21229-21229 Psychology is a subclass of social science
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21279-21279 Sociology is a subclass of social science
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