Navy-BranchOfService 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 6704-6705 | |
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 6702-6702 | Gram e' uma instancia de Sistema International de Unidades |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6701-6701 | Gram e' uma instancia 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 um milhonesimo de Gram(s) and 1.0 1 mil Grams(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7152-7154 | Numero Real Amu(s) e' igual a Numero Real + 1.6605402E-24 Gram(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7280-7283 | Numero Real Kilogram(s) e' igual a Numero Real + 1000 Gram(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7297-7299 | Numero Real PoundMass(s) e' igual a Numero Real + 453.59237 Gram(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7305-7307 | Numero Real Slug(s) e' igual a Numero Real + 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 um milhonesimo de Gram(s) and 1.0 1 mil Grams(s) |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 310-310 | lethalDose Batrachotoxin and PerFn 2.0 um milhonesimo de Gram(s) and 1.0 1 mil Grams(s) |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 325-325 | lethalDose BotulinumToxin and PerFn 0.001 um milhonesimo de Gram(s) and 1.0 1 mil Grams(s) |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1840-1840 | lethalDose Diacetoxyscirpenol and PerFn 23.0 um milesimo de Gram(s) and 1.0 1 mil Grams(s) |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 431-431 | lethalDose RicinToxin and PerFn 3.0 um milhonesimo de Gram(s) and 1.0 1 mil Grams(s) |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 586-586 | lethalDose Sarin and PerFn 100.0 um milhonesimo de Gram(s) and 1.0 1 mil Grams(s) |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1339-1339 | lethalDose ShigaToxin and PerFn 0.002 um milhonesimo de Gram(s) and 1.0 1 mil Grams(s) |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 582-582 | lethalDose Soman and PerFn 64.0 um milhonesimo de Gram(s) and 1.0 1 mil Grams(s) |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1440-1440 | lethalDose StaphylococcalEnterotoxinB and PerFn 0.02 um milhonesimo de Gram(s) and 1.0 1 mil Grams(s) |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1845-1845 | lethalDose T2Toxin and PerFn 5.2 um milesimo de Gram(s) and 1.0 1 mil Grams(s) |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 599-599 | lethalDose VX and PerFn 15.0 um milhonesimo de Gram(s) and 1.0 1 mil Grams(s) |