QuaternaryPredicate(Predicado Quaternario) |
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 3505-3506 | |
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 3503-3503 | Predicado Quaternario e' uma sub-classe de InheritableRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3501-3501 | Predicado Quaternario e' uma sub-classe de Predicado |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3502-3502 | 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 14087-14087 | agreementClause e' uma instancia de Predicado Quaternario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29798-29798 | beforeOnPath e' uma instancia de Predicado Quaternario |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4173-4173 | 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 2727-2727 | capableAtLocation e' uma instancia de Predicado Quaternario |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4407-4407 | 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 4419-4419 | 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 16990-16990 | 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 3508-3510 |
|