|
|
   Language
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1406-1406 | Linguagem e' disjuntamente decomponivel em Linguagem Animal, Linguagem Humana, + Linguagem de Programacao |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1658-1659 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1408-1411 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 246-248 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 290-293 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6658-6658 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1405-1405 | Linguagem e' uma sub-classe de Expressao Linguistica |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Military.kif 341-341 | USAirforceRankingSystem e' uma instancia de Linguagem |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 340-340 | USArmyRankingSystem e' uma instancia de Linguagem |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 344-344 | USCoastGuardRankingSystem e' uma instancia de Linguagem |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 342-342 | USMarineCorpsRankingSystem e' uma instancia de Linguagem |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 343-343 | USNavyRankingSystem e' uma instancia de Linguagem |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1415-1415 | Linguagem Animal e' uma sub-classe de Linguagem |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1429-1429 | Linguagem Artificial e' uma sub-classe de Linguagem |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1446-1446 | Linguagem Humana e' uma sub-classe de Linguagem |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1413-1413 | WrittenLanguage e' uma sub-classe de Linguagem |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 839-839 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 880-880 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 515-515 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 18-18 | |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 20-20 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2200-2200 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 467-467 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 21-21 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 82-82 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 536-536 | |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 21-21 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3156-3156 | O argumento numero 3 de abbreviatedDisplayTitle e' uma instancia de Linguagem |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3124-3124 | O argumento numero 3 de alternativeTitle e' uma instancia de Linguagem |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24581-24581 | O argumento numero 2 de canonicalPlaceName e' uma instancia de Linguagem |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3145-3145 | O argumento numero 3 de displayTitle e' uma instancia de Linguagem |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4618-4618 | O argumento numero 2 de expressedInLanguage e' uma instancia de Linguagem |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 380-380 | O argumento numero 1 de format e' uma instancia de Linguagem |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3195-3195 | O argumento numero 3 de groupingTitle e' uma instancia de Linguagem |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1500-1500 | O argumento numero 2 de language e' uma instancia de Linguagem |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1563-1563 | O argumento numero 1 de languagePercentInRegion e' uma instancia de Linguagem |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3217-3217 | O argumento numero 3 de misspelledTitle e' uma instancia de Linguagem |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1455-1455 | O argumento numero 2 de originalExpressedInLanguage e' uma instancia de Linguagem |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3185-3185 | O argumento numero 3 de originalTitle e' uma instancia de Linguagem |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3174-3174 | O argumento numero 3 de referenceTitle e' uma instancia de Linguagem |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 628-628 | O argumento numero 3 de relatedExternalConcept e' uma instancia de Linguagem |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4479-4479 | O argumento numero 3 de representsInLanguage e' uma instancia de Linguagem |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3134-3134 | O argumento numero 3 de sortingTitle e' uma instancia de Linguagem |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 737-737 | O argumento numero 2 de speaksLanguage e' uma instancia de Linguagem |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3053-3053 | O argumento numero 3 de spellingInLanguage e' uma instancia de Linguagem |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14477-14477 | O argumento numero 1 de subLanguage e' uma instancia de Linguagem |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14478-14478 | O argumento numero 2 de subLanguage e' uma instancia de Linguagem |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 665-665 | O argumento numero 3 de subsumedExternalConcept e' uma instancia de Linguagem |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 659-659 | O argumento numero 3 de subsumingExternalConcept e' uma instancia de Linguagem |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3227-3227 | O argumento numero 3 de subtitle e' uma instancia de Linguagem |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 638-638 | O argumento numero 3 de synonymousExternalConcept e' uma instancia de Linguagem |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 387-387 | O argumento numero 1 de termFormat e' uma instancia de Linguagem |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
|
