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 est une sous-classe de Ceremony |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7993-7993 |
Baptizing est une sous-classe de adh�rer une organisation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7992-7992 |
Baptizing est une sous-classe de processus religieux |