|
|
   PositiveInteger
|
|
|
| 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 | Nombre entier positif est une sous-classe de nombre entier non n�gatif |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1995-1995 | Nombre entier positif est une sous-classe de nombre r�el positif |
| 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 | Le nombre 1 argument de DayFn est une instance de nombre entier positif |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15509-15509 | Le nombre 2 argument de EditionFn est une instance de nombre entier positif |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2978-2978 | Le nombre 2 argument de ListOrderFn est une instance de nombre entier positif |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4976-4976 | Le nombre 2 argument de LogFn est une instance de nombre entier positif |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14663-14663 | Le nombre 2 argument de PeriodicalIssueFn est une instance de nombre entier positif |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8968-8968 | Le nombre 1 argument de QuarterFn est une instance de nombre entier positif |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8666-8666 | Le nombre 1 argument de SecondFn est une instance de nombre entier positif |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14618-14618 | Le nombre 2 argument de SeriesVolumeFn est une instance de nombre entier positif |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8950-8950 | Le nombre 1 argument de WeekFn est une instance de nombre entier positif |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3440-3440 | Le nombre 2 argument de accountNumber est une instance de nombre entier positif |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2243-2243 | Le nombre 3 argument de agriculturalProductTypeByRank est une instance de nombre entier positif |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13773-13773 | Le nombre 2 argument de atomicNumber est une instance de nombre entier positif |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3457-3457 | Le nombre 2 argument de checkNumber est une instance de nombre entier positif |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1209-1209 | Le nombre 2 argument de dataStreamSlack est une instance de nombre entier positif |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 209-209 | Le nombre 2 argument de domain est une instance de nombre entier positif |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 231-231 | Le nombre 2 argument de domainSubclass est une instance de nombre entier positif |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21709-21709 | Le nombre 2 argument de electronNumber est une instance de nombre entier positif |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2324-2324 | Le nombre 3 argument de exportCommodityTypeByRank est une instance de nombre entier positif |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2503-2503 | Le nombre 3 argument de exportPartnerByRank est une instance de nombre entier positif |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2491-2491 | Le nombre 3 argument de exportPartnerByRankInPeriod est une instance de nombre entier positif |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6700-6700 | Le nombre 2 argument de humanCapacity est une instance de nombre entier positif |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2620-2620 | Le nombre 3 argument de importCommodityTypeByRank est une instance de nombre entier positif |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2696-2696 | Le nombre 3 argument de importPartnerByRank est une instance de nombre entier positif |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2684-2684 | Le nombre 3 argument de importPartnerByRankInPeriod est une instance de nombre entier positif |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1588-1588 | Le nombre 3 argument de industryRankByOutput est une instance de nombre entier positif |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
|
|
|