|
|
   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 | Predicado Quaternario e' uma sub-classe de InheritableRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3500-3500 | Predicado Quaternario e' uma sub-classe de Predicado |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3501-3501 | Predicado Quaternario e' uma sub-classe de Relacao Quaternaria |
| 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 e' uma instancia de Predicado Quaternario |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29773-29773 | beforeOnPath e' uma instancia de Predicado Quaternario |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4172-4172 | betweenOnPath e' uma instancia de Predicado Quaternario |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 912-912 | capabilityDuring e' uma instancia de Predicado Quaternario |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2682-2682 | capableAtLocation e' uma instancia de Predicado Quaternario |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4443-4443 | chiefOfDiplomaticMission e' uma instancia de Predicado Quaternario |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 645-645 | comparativeArea e' uma instancia de Predicado Quaternario |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 223-223 | concentration e' uma instancia de Predicado Quaternario |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4455-4455 | diplomaticRepresentativeInRole e' uma instancia de Predicado Quaternario |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2025-2025 | electricityFractionFromSourceInPeriod e' uma instancia de Predicado Quaternario |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2518-2518 | exportPartnerByFractionInPeriod e' uma instancia de Predicado Quaternario |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2488-2488 | exportPartnerByRankInPeriod e' uma instancia de Predicado Quaternario |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2963-2963 | grossMerchandiseBoughtInPeriod e' uma instancia de Predicado Quaternario |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2992-2992 | grossMerchandiseSoldInPeriod e' uma instancia de Predicado Quaternario |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2711-2711 | importPartnerByFractionInPeriod e' uma instancia de Predicado Quaternario |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2681-2681 | importPartnerByRankInPeriod e' uma instancia de Predicado Quaternario |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1385-1385 | laborForceFractionByOccupationInPeriod e' uma instancia de Predicado Quaternario |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16963-16963 | monetaryWage e' uma instancia de Predicado Quaternario |
| No TPTP formula. May not be expressible in strict first order. | Justice.kif 30-30 | observedAtTimeInPlace e' uma instancia de Predicado Quaternario |
| No TPTP formula. May not be expressible in strict first order. | Catalog.kif 197-197 | priceRange e' uma instancia de Predicado Quaternario |
| No TPTP formula. May not be expressible in strict first order. | Catalog.kif 326-326 | publishedPrice e' uma instancia de Predicado Quaternario |
| No TPTP formula. May not be expressible in strict first order. | Catalog.kif 447-447 | rentalPrice e' uma instancia de Predicado Quaternario |
| 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 |
|
|
|
|