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 是口语人类语言的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 11659-11659	百白群语言是 kiowa 的 subclass
No TPTP formula. May not be expressible in strict first order.	Languages.kif 11680-11680	Kwomtari集团的语言是 kiowa 的 subclass
No TPTP formula. May not be expressible in strict first order.	Languages.kif 11712-11712	Pyu组语言是 kiowa 的 subclass
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