No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7574-7576 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7578-7578 |
Le nombre 2 argument de AmountsFn est une instance de objet corpusculaire |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7579-7579 |
Le nombre 3 argument de AmountsFn est une instance de UnitOfMass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7577-7577 |
Le nombre 1 argument de AmountsFn est une sous-classe de substance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7573-7573 |
AmountsFn est une instance de fonction binaire |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7580-7580 |
Le domaine de AmountsFn est une instance de liste |