OcLanguage - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 10074-10075
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10157-10157
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11524-11524
No TPTP formula. May not be expressible in strict first order.	Languages.kif 10073-10073	OcLanguage e' uma sub-classe de IberoRomanceLanguage

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 10078-10078	AuvergnatLanguage e' uma instancia de OcLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 10091-10091	GasconLanguage e' uma instancia de OcLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 10139-10139	LanguedocienLanguage e' uma instancia de OcLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 10125-10125	LimousinLanguage e' uma instancia de OcLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 10159-10159	ProvencalLanguage e' uma instancia de OcLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 10189-10189	ShuaditLanguage e' uma instancia de OcLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41644-41644
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41643-41643
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41642-41642