Integer |
![]() |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2227-2227 | 域 分裂為, 3 and Integer |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1706-1706 | 域 visualAcuity, 2 and Integer |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1707-1707 | 域 visualAcuity, 3 and Integer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 958-958 | 域 建立年份, 2 and Integer |
![]() |