No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9332-9332 |
刺激物 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10905-10905 |
酒精饮料 是 降凝剂 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3867-3867 |
Benzodiazepine 是 降凝剂 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8637-8637 |
Ethanol 是 降凝剂 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9346-9346 |
鸦片 是 降凝剂 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19164-19164 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19163-19163 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19162-19162 |
|