![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 7320-7321 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10963-10963 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10965-10965 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10964-10964 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10962-10962 | |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 7319-7319 | EnglishGroupLanguage e' uma sub-classe de WestGermanicLanguage |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 7577-7577 | AngloromaniLanguage e' uma instancia de EnglishGroupLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 7324-7324 | CaymanIslandsEnglishLanguage e' uma instancia de EnglishGroupLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 7334-7334 | EnglishLanguage e' uma instancia de EnglishGroupLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 7598-7598 | ScotsLanguage e' uma instancia de EnglishGroupLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 7625-7625 | YinglishLanguage e' uma instancia de EnglishGroupLanguage |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22156-22156 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22155-22155 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22154-22154 |
![]() |
![]() |