No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7590-7591 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7593-7593 |
Le nombre 2 argument de amount est une instance de objet corpusculaire |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7594-7594 |
Le nombre 3 argument de amount est une instance de mesure de masse |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7592-7592 |
Le nombre 1 argument de amount est une sous-classe de substance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7589-7589 |
amount est une instance de pr�dicat ternaire |