QuaternaryPredicate(Predicado Quaternario) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29986-29986 | rents e' uma instancia de Predicado Quaternario |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1055-1055 | sectorCompositionOfGDPInPeriod e' uma instancia de Predicado Quaternario |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1094-1094 | sectorValueOfGDPInPeriod e' uma instancia de Predicado Quaternario |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 390-390 | unitPrice e' uma instancia de Predicado Quaternario |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1856-1856 | voteFractionReceived e' uma instancia de Predicado Quaternario |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 928-928 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1063-1063 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 604-604 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 135-135 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 138-138 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2289-2289 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 556-556 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 172-172 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 625-625 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 139-139 |