SocialScience - Sigma Knowledge base Browser

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	子類社會科學 and 科學

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21134-21134	子類人類學 and 社會科學
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21203-21203	子類經濟學 and 社會科學
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21226-21226	子類語言學 and 社會科學
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21131-21131	子類政治學 and 社會科學
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21229-21229	子類心理學 and 社會科學
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21279-21279	子類社會學 and 社會科學
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