HybridStrictness
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1590-1593 | |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1589-1589 | HybridStrictness 是 严格属性 的 subclass |
antecedent |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1595-1609 |
|