TreeView Knowledge Base Browser - RiffLanguage

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - RiffLanguage

RiffLanguage(riff language)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 4880-4881
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4879-4879	Riff language is a subclass of zenati language

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 4900-4900	Senhaja de srair language is an instance of riff language
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4884-4884	Tarifit language is an instance of riff language
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49982-49982
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49981-49981
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49980-49980

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