Gram
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2493-2493 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6703-6704 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1187-1188 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6599-6599 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6701-6701 | Gram est une instance de syst�me d'unit� international |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6700-6700 | Gram est une instance de UnitOfMass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26376-26376 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26375-26375 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26374-26374 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 172-187 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 155-170 |
|
No TPTP formula. May not be expressible in strict first order. | WMD.kif 823-840 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2873-2884 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4645-4658 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4669-4682 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 3124-3136 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 2463-2478 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2855-2866 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2836-2845 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 206-221 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 189-204 |
|
consequent |
statement |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2524-2525 | defaultMeasure BoxOfChocolates and 250.0 Gram(s) |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1439-1439 | effectiveDose StaphylococcalEnterotoxinB and PerFn 0.0004 un millioni�me de Gram(s) and 1.0 1 millier Grams(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7151-7153 | Nombre r�el Amu(s) est nombre r�el + 1.6605402E-24 Gram(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7279-7282 | Nombre r�el Kilogram(s) est nombre r�el + 1000 Gram(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7296-7298 | Nombre r�el PoundMass(s) est nombre r�el + 453.59237 Gram(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7304-7306 | Nombre r�el Slug(s) est nombre r�el + 14593.90 Gram(s) |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 439-439 | lethalDose AbrinToxin and PerFn 0.04 un millioni�me de Gram(s) and 1.0 1 millier Grams(s) |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 310-310 | lethalDose Batrachotoxin and PerFn 2.0 un millioni�me de Gram(s) and 1.0 1 millier Grams(s) |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 325-325 | lethalDose BotulinumToxin and PerFn 0.001 un millioni�me de Gram(s) and 1.0 1 millier Grams(s) |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1840-1840 | lethalDose Diacetoxyscirpenol and PerFn 23.0 un milli�me de Gram(s) and 1.0 1 millier Grams(s) |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 431-431 | lethalDose RicinToxin and PerFn 3.0 un millioni�me de Gram(s) and 1.0 1 millier Grams(s) |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 586-586 | lethalDose Sarin and PerFn 100.0 un millioni�me de Gram(s) and 1.0 1 millier Grams(s) |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1339-1339 | lethalDose ShigaToxin and PerFn 0.002 un millioni�me de Gram(s) and 1.0 1 millier Grams(s) |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 582-582 | lethalDose Soman and PerFn 64.0 un millioni�me de Gram(s) and 1.0 1 millier Grams(s) |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1440-1440 | lethalDose StaphylococcalEnterotoxinB and PerFn 0.02 un millioni�me de Gram(s) and 1.0 1 millier Grams(s) |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1845-1845 | lethalDose T2Toxin and PerFn 5.2 un milli�me de Gram(s) and 1.0 1 millier Grams(s) |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 599-599 | lethalDose VX and PerFn 15.0 un millioni�me de Gram(s) and 1.0 1 millier Grams(s) |