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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AmericanSignLanguage

Sigma KEE - AmericanSignLanguage
AmericanSignLanguage
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 182-230
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10399-10399
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10398-10398
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10397-10397
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4494-4494
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10396-10396
No TPTP formula. May not be expressible in strict first order. Languages.kif 181-181 AmericanSignLanguage est une instance de DeafSignLanguage

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7194-7194
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7193-7193
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7192-7192


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