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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UnclassifiedSpokenLanguage
UnclassifiedSpokenLanguage

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 3766-3768
No TPTP formula. May not be expressible in strict first order. Languages.kif 3765-3765 UnclassifiedSpokenLanguage est une sous-classe de SpokenHumanLanguage

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 3771-3771 AariyaLanguage est une instance de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 3777-3777 AbishiraLanguage est une instance de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 3786-3786 AgavotaguerraLanguage est une instance de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 3794-3794 AguanoLanguage est une instance de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 3806-3806 AmeraxLanguage est une instance de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 3814-3814 AmikoanaLanguage est une instance de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 3820-3820 AndhLanguage est une instance de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 3830-3830 BeothukLanguage est une instance de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 3838-3838 BetafLanguage est une instance de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 3845-3845 BeteLanguage est une instance de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 3855-3855 BhatolaLanguage est une instance de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 3861-3861 BungLanguage est une instance de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 3868-3868 CaguaLanguage est une instance de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 3874-3874 CallawallaLanguage est une instance de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 3888-3888 CandoshiShapraLanguage est une instance de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 3900-3900 CanichanaLanguage est une instance de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 3908-3908 CarabayoLanguage est une instance de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 3917-3917 CentuumLanguage est une instance de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 3925-3925 ChakLanguage est une instance de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 3936-3936 ChipiajesLanguage est une instance de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 3942-3942 CholonLanguage est une instance de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 3950-3950 CoximaLanguage est une instance de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 3956-3956 DosoLanguage est une instance de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 3964-3964 GailLanguage est une instance de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 3975-3975 HaitianVodounCultureLanguage est une instance de UnclassifiedSpokenLanguage

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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



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