| PositiveInteger(Inteiro positivo) | |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1754-1754 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1997-1997 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 363-363 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1994-1994 | Inteiro positivo e' uma sub-classe de Numero Inteiro nao-negativo |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1995-1995 | Inteiro positivo e' uma sub-classe de Numero Real positivo |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 872-872 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 946-946 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 548-548 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 78-78 | |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 81-81 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2233-2233 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 500-500 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 83-83 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 115-115 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 569-569 | |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 82-82 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8588-8588 | O argumento numero 1 de DayFn e' uma instancia de Inteiro positivo |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15509-15509 | O argumento numero 2 de EditionFn e' uma instancia de Inteiro positivo |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2978-2978 | O argumento numero 2 de ListOrderFn e' uma instancia de Inteiro positivo |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4976-4976 | O argumento numero 2 de LogFn e' uma instancia de Inteiro positivo |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14663-14663 | O argumento numero 2 de PeriodicalIssueFn e' uma instancia de Inteiro positivo |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8968-8968 | O argumento numero 1 de QuarterFn e' uma instancia de Inteiro positivo |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8666-8666 | O argumento numero 1 de SecondFn e' uma instancia de Inteiro positivo |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14618-14618 | O argumento numero 2 de SeriesVolumeFn e' uma instancia de Inteiro positivo |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8950-8950 | O argumento numero 1 de WeekFn e' uma instancia de Inteiro positivo |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3440-3440 | O argumento numero 2 de accountNumber e' uma instancia de Inteiro positivo |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2243-2243 | O argumento numero 3 de agriculturalProductTypeByRank e' uma instancia de Inteiro positivo |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13773-13773 | O argumento numero 2 de atomicNumber e' uma instancia de Inteiro positivo |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3457-3457 | O argumento numero 2 de checkNumber e' uma instancia de Inteiro positivo |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1209-1209 | O argumento numero 2 de dataStreamSlack e' uma instancia de Inteiro positivo |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 209-209 | O argumento numero 2 de domain e' uma instancia de Inteiro positivo |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 231-231 | O argumento numero 2 de domainSubclass e' uma instancia de Inteiro positivo |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21709-21709 | O argumento numero 2 de electronNumber e' uma instancia de Inteiro positivo |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2324-2324 | O argumento numero 3 de exportCommodityTypeByRank e' uma instancia de Inteiro positivo |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2503-2503 | O argumento numero 3 de exportPartnerByRank e' uma instancia de Inteiro positivo |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2491-2491 | O argumento numero 3 de exportPartnerByRankInPeriod e' uma instancia de Inteiro positivo |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6700-6700 | O argumento numero 2 de humanCapacity e' uma instancia de Inteiro positivo |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2620-2620 | O argumento numero 3 de importCommodityTypeByRank e' uma instancia de Inteiro positivo |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2696-2696 | O argumento numero 3 de importPartnerByRank e' uma instancia de Inteiro positivo |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2684-2684 | O argumento numero 3 de importPartnerByRankInPeriod e' uma instancia de Inteiro positivo |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1588-1588 | O argumento numero 3 de industryRankByOutput e' uma instancia de Inteiro positivo |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
|
|
|