|
FrameIT
|
Public Member Functions | |
| OMA (MMTTerm applicant, List< MMTTerm > arguments) | |
Public Attributes | |
| MMTTerm | applicant |
| List< MMTTerm > | arguments |
| string | kind = "OMA" |
| MMTTerm JSONManager.OMA.applicant |
| List<MMTTerm> JSONManager.OMA.arguments |
| string JSONManager.OMA.kind = "OMA" |