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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 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 21161-21161 Anthropology est une sous-classe de SocialScience
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21230-21230 Economics est une sous-classe de SocialScience
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21253-21253 Linguistics est une sous-classe de SocialScience
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21158-21158 PoliticalScience est une sous-classe de SocialScience
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21256-21256 Psychology est une sous-classe de SocialScience
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21306-21306 Sociology est une sous-classe de SocialScience
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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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