No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10336-10336 |
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 18428-18428 |
maxValue 的 2 数量 是 整数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22634-22634 |
会员数 的 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 18410-18410 |
minValue 的 2 数量 是 整数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1775-1775 |
molecularRatio 的 2 数量 是 整数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 738-738 |
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 |