No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21179-21180 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3043-3043 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3042-3042 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2939-2939 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3044-3044 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21178-21178 |
Architecture e' uma sub-classe de Campo de Estudos |