No TPTP formula. May not be expressible in strict first order. | Merge.kif 11831-11831 | Transaction est une sous-classe de changement de possession |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11832-11832 | Transaction est une sous-classe de processus requ�rant deux patients |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11856-11856 | Financial transaction est une sous-classe de transaction |
![]() |