| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10595-10595 | Juntar-se a uma Organizacao e' uma sub-classe de Processo Organizacional |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7992-7992 | Baptizing e' uma sub-classe de Juntar-se a uma Organizacao |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21938-21938 | Infiltration e' uma sub-classe de Juntar-se a uma Organizacao |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10730-10730 | Matricula e' uma sub-classe de Juntar-se a uma Organizacao |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10741-10741 | Empregar e' uma sub-classe de Juntar-se a uma Organizacao |
|
|