No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7994-7995 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4863-4863 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4530-4530 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7991-7991 |
Baptizing e' uma sub-classe de Ceremony |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7993-7993 |
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 7992-7992 |
Baptizing e' uma sub-classe de Processo Religioso |