|
|
   QuaternaryPredicate
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2015-2016 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3504-3505 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 655-656 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3502-3502 | Pr�dicat quaternaire est une sous-classe de InheritableRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3500-3500 | Pr�dicat quaternaire est une sous-classe de predicat |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3501-3501 | Pr�dicat quaternaire est une sous-classe de relation quaternaire |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2087-2087 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2086-2086 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2085-2085 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14060-14060 | agreementClause est une instance de pr�dicat quaternaire |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29773-29773 | beforeOnPath est une instance de pr�dicat quaternaire |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4172-4172 | betweenOnPath est une instance de pr�dicat quaternaire |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 912-912 | capabilityDuring est une instance de pr�dicat quaternaire |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2682-2682 | capableAtLocation est une instance de pr�dicat quaternaire |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4443-4443 | chiefOfDiplomaticMission est une instance de pr�dicat quaternaire |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 645-645 | comparativeArea est une instance de pr�dicat quaternaire |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 223-223 | concentration est une instance de pr�dicat quaternaire |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4455-4455 | diplomaticRepresentativeInRole est une instance de pr�dicat quaternaire |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2025-2025 | electricityFractionFromSourceInPeriod est une instance de pr�dicat quaternaire |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2518-2518 | exportPartnerByFractionInPeriod est une instance de pr�dicat quaternaire |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2488-2488 | exportPartnerByRankInPeriod est une instance de pr�dicat quaternaire |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2963-2963 | grossMerchandiseBoughtInPeriod est une instance de pr�dicat quaternaire |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2992-2992 | grossMerchandiseSoldInPeriod est une instance de pr�dicat quaternaire |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2711-2711 | importPartnerByFractionInPeriod est une instance de pr�dicat quaternaire |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2681-2681 | importPartnerByRankInPeriod est une instance de pr�dicat quaternaire |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1385-1385 | laborForceFractionByOccupationInPeriod est une instance de pr�dicat quaternaire |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16963-16963 | monetaryWage est une instance de pr�dicat quaternaire |
| No TPTP formula. May not be expressible in strict first order. | Justice.kif 30-30 | observedAtTimeInPlace est une instance de pr�dicat quaternaire |
| No TPTP formula. May not be expressible in strict first order. | Catalog.kif 197-197 | priceRange est une instance de pr�dicat quaternaire |
| No TPTP formula. May not be expressible in strict first order. | Catalog.kif 326-326 | publishedPrice est une instance de pr�dicat quaternaire |
| No TPTP formula. May not be expressible in strict first order. | Catalog.kif 447-447 | rentalPrice est une instance de pr�dicat quaternaire |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3507-3509 |
|
|
|
|