DutchCreoleLanguage - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 1530-1535
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10900-10900
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9992-9992
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10893-10893
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10898-10898
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10897-10897
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10899-10899
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10902-10902
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10894-10894
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10901-10901
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10895-10895
No TPTP formula. May not be expressible in strict first order.	Languages.kif 1529-1529	DutchCreoleLanguage e' uma instancia de DutchBasedCreoleLanguage

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20730-20730
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20729-20729
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20728-20728