No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21685-21686 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21683-21683 |
域 質子數, 1 and PureSubstance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21684-21684 |
域 質子數, 2 and PositiveInteger |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21680-21680 |
例 質子數 and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21681-21681 |
例 質子數 and SingleValuedRelation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21682-21682 |
例 質子數 and TotalValuedRelation |