KiowaTanoanLanguage - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 11653-11655
No TPTP formula. May not be expressible in strict first order.	Languages.kif 11652-11652	子類 kiowa and 口語人類語言

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 11659-11659	子類百白群語言 and kiowa
No TPTP formula. May not be expressible in strict first order.	Languages.kif 11680-11680	子類 kwomtari集團的語言 and kiowa
No TPTP formula. May not be expressible in strict first order.	Languages.kif 11712-11712	子類 pyu組語言 and kiowa
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 32581-32581
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 32580-32580
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 32579-32579