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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FrenchSignLanguage

 Sigma KEE - FrenchSignLanguage
FrenchSignLanguage(french sign language)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 550-566
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11032-11032
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11018-11018
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11037-11037
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11023-11023
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11036-11036
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11017-11017
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11034-11034
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11040-11040
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11027-11027
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11021-11021
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11033-11033
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11019-11019
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11016-11016
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11026-11026
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10023-10023
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11039-11039
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11029-11029
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11038-11038
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11041-11041
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11020-11020
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11022-11022
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11028-11028
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11031-11031
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11025-11025

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24998-24998
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24997-24997
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24996-24996


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