|
|
   SpokenHumanLanguage
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1676-1678 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1493-1496 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 267-269 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 314-317 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11885-11885 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11884-11884 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11887-11887 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11886-11886 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11883-11883 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1491-1491 | SpokenHumanLanguage e' uma sub-classe de Linguagem Humana |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 2923-2923 | AbinomnLanguage e' uma instancia de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 2935-2935 | AinuJapaneseLanguage e' uma instancia de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 2954-2954 | AndoqueLanguage e' uma instancia de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 2968-2968 | BurmesoLanguage e' uma instancia de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 2983-2983 | BurushaskiLanguage e' uma instancia de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3000-3000 | BusaLanguage e' uma instancia de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3009-3009 | CamsaLanguage e' uma instancia de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3018-3018 | CayubabaLanguage e' uma instancia de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1537-1537 | EnglishLanguage e' uma instancia de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14424-14424 | FaroeseLanguage e' uma instancia de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14972-14972 | FrenchLanguage e' uma instancia de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14977-14977 | GermanLanguage e' uma instancia de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3027-3027 | GilyakLanguage e' uma instancia de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14982-14982 | GreekLanguage e' uma instancia de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3046-3046 | ItonamaLanguage e' uma instancia de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3055-3055 | KarkarYuriLanguage e' uma instancia de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3066-3066 | KibiriLanguage e' uma instancia de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3077-3077 | KoreanLanguage e' uma instancia de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3114-3114 | KutenaiLanguage e' uma instancia de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14986-14986 | LatinLanguage e' uma instancia de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3128-3128 | NihaliLanguage e' uma instancia de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3144-3144 | PankararuLanguage e' uma instancia de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3153-3153 | PuelcheLanguage e' uma instancia de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3161-3161 | PuinaveLanguage e' uma instancia de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3173-3173 | PurepechaLanguage e' uma instancia de SpokenHumanLanguage |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25748-25761 |
|
|
|
|
