PortugueseBasedCreoleLanguage
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 2590-2592 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11645-11645 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10197-10197 | |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 2589-2589 | Portuguese based creole language is a subclass of creole language |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 2595-2595 | Angolar language is an instance of portuguese based creole language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 2613-2613 | Cafundo creole language is an instance of portuguese based creole language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 2623-2623 | FaDAmbu language is an instance of portuguese based creole language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 2648-2648 | Indo portuguese language is an instance of portuguese based creole language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 2669-2669 | Kabuverdianu language is an instance of portuguese based creole language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 2690-2690 | Korlai creole portuguese language is an instance of portuguese based creole language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 2726-2726 | Macanese language is an instance of portuguese based creole language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 2701-2701 | Malaccan creole portuguese language is an instance of portuguese based creole language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 2736-2736 | Principense language is an instance of portuguese based creole language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 2748-2748 | Saotomense language is an instance of portuguese based creole language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 2765-2765 | Ternateno language is an instance of portuguese based creole language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 2779-2779 | Timor pidgin language is an instance of portuguese based creole language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 2787-2787 | Upper guinea crioulo language is an instance of portuguese based creole language |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46768-46768 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46767-46767 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46766-46766 |