No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23325-23327 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23320-23320 |
域 欺騙性標識符, 1 and ContentBearingObject |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23321-23321 |
域 欺騙性標識符, 2 and AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23319-23319 |
例 欺騙性標識符 and AsymmetricRelation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23318-23318 |
例 欺騙性標識符 and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23322-23322 |
子關係 欺騙性標識符 and 參照 |