No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8594-8594 |
子類 Poison and BiologicallyActiveSubstance |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4876-4876 |
子類 除蟲菊 and BiologicallyActiveSubstance |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1872-1872 |
子類 吡啶斯的明溴化物 and BiologicallyActiveSubstance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8578-8578 |
子類 類固醇 and BiologicallyActiveSubstance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9331-9331 |
子類 刺激物 and BiologicallyActiveSubstance |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3334-3334 |
子類 Thyroxine and BiologicallyActiveSubstance |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 160-160 |
子類 毒素 and BiologicallyActiveSubstance |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1061-1061 |
子類 Vaccine and BiologicallyActiveSubstance |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1004-1004 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1220-1220 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 681-681 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 212-212 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 215-215 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2365-2365 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 633-633 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 249-249 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 702-702 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 216-216 |
|