No TPTP formula. May not be expressible in strict first order.	Languages.kif 745-745	JapaneseSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 755-755	JordanianSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 760-760	KenyanSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 787-787	KoreanSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 797-797	KualaLumpurSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 808-808	LaosSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 814-814	LatvianSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 819-819	LibyanSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 824-824	LithuanianSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 829-829	LyonsSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 835-835	MalaysianSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 846-846	MalteseSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 851-851	MaritimeSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 859-859	MarthasVineyardSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 872-872	MexicanSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 893-893	MongolianSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 899-899	MoroccanSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 913-913	MozambicanSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 921-921	NamibianSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 938-938	NepaleseSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 926-926	NewZealandSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 944-944	NicaraguanSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 953-953	NigerianSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 959-959	NorwegianSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 975-975	OldKentishSignLanguage est une instance de DeafSignLanguage
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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