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