QuaternaryPredicate(pr�dicat quaternaire) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29986-29986 | rents est une instance de pr�dicat quaternaire |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1055-1055 | sectorCompositionOfGDPInPeriod est une instance de pr�dicat quaternaire |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1094-1094 | sectorValueOfGDPInPeriod est une instance de pr�dicat quaternaire |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 390-390 | unitPrice est une instance de pr�dicat quaternaire |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1856-1856 | voteFractionReceived est une instance de pr�dicat quaternaire |
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 |