TreeView Knowledge Base Browser - GulfLanguage

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - GulfLanguage

GulfLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 6570-6573
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10043-10043
No TPTP formula. May not be expressible in strict first order.	Languages.kif 6569-6569	GulfLanguage est une sous-classe de SpokenHumanLanguage

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 6576-6576	AtakapaLanguage est une instance de GulfLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 6584-6584	ChitimachaLanguage est une instance de GulfLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 6591-6591	NatchezLanguage est une instance de GulfLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 6598-6598	TunicaLanguage est une instance de GulfLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27048-27048
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27047-27047
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27046-27046

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