No TPTP formula. May not be expressible in strict first order.	Languages.kif 981-981	PakistanSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 990-990	PenangSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 998-998	PersianSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 1003-1003	PeruvianSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 1012-1012	PhilippineSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 1021-1021	PolishSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 1035-1035	PortugueseSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 1044-1044	ProvidenciaSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 1055-1055	PuertoRicanSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 1065-1065	QuebecSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 1078-1078	RennelleseSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 1085-1085	RomanianSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 1090-1090	RussianSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 1105-1105	SalvadoranSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 1111-1111	SaudiArabianSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 1116-1116	SingaporeSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 1121-1121	SlovakianSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 1126-1126	SouthAfricanSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 1140-1140	SpanishSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 1193-1193	SriLankanSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 1153-1153	SwedishSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 1169-1169	SwissFrenchSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 1179-1179	SwissGermanSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 1187-1187	SwissItalianSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 1200-1200	TaiwaneseSignLanguage 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