No TPTP formula. May not be expressible in strict first order.	Languages.kif 1213-1213	TanzanianSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 1221-1221	ThaiSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 1240-1240	TunisianSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 1247-1247	TurkishSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 1252-1252	UgandanSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 1267-1267	UkrainianSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 1272-1272	UrubuKaaporSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 1280-1280	UruguayanSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 1289-1289	VenezuelanSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 1299-1299	YiddishSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 1305-1305	YucatecMayaSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 1326-1326	YugoslavianSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 1340-1340	ZambianSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 1345-1345	ZimbabweSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18750-18750
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18749-18749
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18748-18748

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners