Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  DeafSignLanguage

Sigma KEE - DeafSignLanguage
DeafSignLanguage

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Languages.kif 159-161
No TPTP formula. May not be expressible in strict first order. Languages.kif 158-158 DeafSignLanguage e' uma sub-classe de ManualHumanLanguage

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Languages.kif 163-163 AdamorobeSignLanguage e' uma instancia de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 175-175 AlgerianSignLanguage e' uma instancia de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 181-181 AmericanSignLanguage e' uma instancia de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 232-232 ArgentineSignLanguage e' uma instancia de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 244-244 ArmenianSignLanguage e' uma instancia de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 263-263 AustralianAboriginesSignLanguage e' uma instancia de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 249-249 AustralianSignLanguage e' uma instancia de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 275-275 AustrianSignLanguage e' uma instancia de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 288-288 BaliSignLanguage e' uma instancia de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 296-296 BamakoSignLanguage e' uma instancia de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 306-306 BanKhorSignLanguage e' uma instancia de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 313-313 BelgianSignLanguage e' uma instancia de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 333-333 BolivianSignLanguage e' uma instancia de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 343-343 BrazilianSignLanguage e' uma instancia de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 355-355 BritishSignLanguage e' uma instancia de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 375-375 BulgarianSignLanguage e' uma instancia de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 388-388 CatalonianSignLanguage e' uma instancia de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 395-395 ChadianSignLanguage e' uma instancia de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 403-403 ChiangmaiSignLanguage e' uma instancia de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 413-413 ChileanSignLanguage e' uma instancia de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 418-418 ChineseSignLanguage e' uma instancia de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 430-430 ColombianSignLanguage e' uma instancia de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 444-444 CostaRicanSignLanguage e' uma instancia de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 450-450 CzechSignLanguage e' uma instancia de DeafSignLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 463-463 DanishSignLanguage e' uma instancia de DeafSignLanguage

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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