Integer(整数) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10337-10337 | heartRate 的 3 数量 是 整数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5279-5279 | 单位元 的 2 数量 是 整数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2194-2194 | maxCardinality 的 2 数量 是 整数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2195-2195 | maxCardinality 的 3 数量 是 整数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 477-477 | maxRoomCapacity 的 2 数量 是 整数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18406-18406 | maxValue 的 2 数量 是 整数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22635-22635 | 会员数 的 2 数量 是 整数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2157-2157 | minCardinality 的 2 数量 是 整数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2158-2158 | minCardinality 的 3 数量 是 整数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18388-18388 | minValue 的 2 数量 是 整数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1769-1769 | molecularRatio 的 2 数量 是 整数 的 instance |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 739-739 | monoploidNumber 的 2 数量 是 整数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4896-4896 | 乘法因子 的 1 数量 是 整数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4897-4897 | 乘法因子 的 2 数量 是 整数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2862-2862 | numberAdultOccupant 的 2 数量 是 整数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2901-2901 | numberChildOccupant 的 2 数量 是 整数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2859-2859 | numberOccupant 的 2 数量 是 整数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 703-703 | numberOfFloors 的 2 数量 是 整数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2923-2923 | numberSeniorOccupant 的 2 数量 是 整数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 335-335 | restingBreathingRate 的 2 数量 是 整数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 115-115 | restingHeartRate 的 2 数量 是 整数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2738-2738 | roomStay 的 2 数量 是 整数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2068-2068 | 组织席位数 的 2 数量 是 整数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1905-1905 | 席位在选举中获胜 的 3 数量 是 整数 的 instance |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2226-2226 | 分裂为 的 2 数量 是 整数 的 instance |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |