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 21126-21128
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 21125-21125 SocialScience est une sous-classe de Science

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21133-21133 Anthropology est une sous-classe de SocialScience
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21202-21202 Economics est une sous-classe de SocialScience
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21225-21225 Linguistics est une sous-classe de SocialScience
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21130-21130 PoliticalScience est une sous-classe de SocialScience
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21228-21228 Psychology est une sous-classe de SocialScience
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21278-21278 Sociology est une sous-classe de SocialScience
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