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