No TPTP formula. May not be expressible in strict first order.	Languages.kif 478-478	DominicanSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 485-485	DutchSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 497-497	EcuadorianSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 505-505	EstonianSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 527-527	EthiopianSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 535-535	FinnishSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 549-549	FrenchSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 568-568	GermanSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 579-579	GhanaianSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 591-591	GreekSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 597-597	GuatemalanSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 602-602	GuineanSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 610-610	HaiphongSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 616-616	HanoiSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 622-622	HausaSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 627-627	HawaiiPidginSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 638-638	HoChiMinhCitySignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 644-644	HungarianSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 656-656	IcelandicSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 666-666	IndianSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 690-690	IndonesianSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 697-697	IrishSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 712-712	IsraeliSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 727-727	ItalianSignLanguage est une instance de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 736-736	JamaicanSignLanguage 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