OrganizationUnit
|
|
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 279-279 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 315-315 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 280-280 |