|
|
  PoundMass
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2608-2608 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7294-7294 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1321-1321 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7292-7292 | PoundMass e' uma instancia de UnitOfMass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46964-46964 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46963-46963 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46962-46962 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13605-13611 | A medida de Fisico e' Numero Real MetricTon(s) a medida de Fisico e' Numero Real + 2205.0 PoundMass(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13326-13331 | A medida de Fisico e' Numero Real OunceMass(s) a medida de Fisico e' Numero Real + 16.0 PoundMass(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13618-13622 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13591-13595 |
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 707-710 |
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 766-769 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21871-21877 |
|
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30469-30469 | defaultMaximumMeasure Lemur and 20.0 PoundMass(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30371-30371 | defaultMaximumMeasure Lion and 600.0 PoundMass(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30449-30449 | defaultMaximumMeasure Parrot and 9.0 PoundMass(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30436-30436 | defaultMaximumMeasure Rhinoceros and 2200.0 PoundMass(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20273-20273 | defaultMeasure Alligator and 790.0 PoundMass(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20286-20286 | defaultMeasure Badger and 20.0 PoundMass(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20301-20301 | defaultMeasure Bear and 500.0 PoundMass(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30566-30566 | defaultMeasure Cheetah and 150.0 PoundMass(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30542-30542 | defaultMeasure Crocodile and 2000.0 PoundMass(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30583-30583 | defaultMeasure Ferret and 2.0 PoundMass(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30601-30601 | defaultMeasure GuineaPig and 2.0 PoundMass(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20315-20315 | defaultMeasure Kangaroo and 18.0 PoundMass(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20323-20323 | defaultMeasure Llama and 18.0 PoundMass(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30502-30502 | defaultMeasure Octopus and 33.0 PoundMass(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30488-30488 | defaultMeasure Panda and 240.0 PoundMass(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30524-30524 | defaultMeasure Reindeer and 300.0 PoundMass(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20332-20332 | defaultMeasure Skunk and 5.0 PoundMass(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13601-13603 | 1.0 MetricTon(s) e' igual a 2205.0 PoundMass(s) |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7296-7298 | Numero Real PoundMass(s) e' igual a Numero Real + 453.59237 Gram(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13333-13336 | Numero Real Numero Real OunceMass(s) e' igual a Numero Real + 16.0 PoundMass(s) |
|
|
|