No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21710-21711 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21708-21708 |
域 電子數, 1 and PureSubstance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21709-21709 |
域 電子數, 2 and PositiveInteger |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21705-21705 |
例 電子數 and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21706-21706 |
例 電子數 and SingleValuedRelation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21707-21707 |
例 電子數 and TotalValuedRelation |