| TernaryPredicate(ternary predicate) | | مَحْمُول ثُلاثِي, Predicado_Ternario, PredicatoTernario, pr�dicat_ternaire, tatlong_panaguri, ternary_predicate, triangii_lakshana, 三元谓语 |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3568-3568 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3566-3567 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3565-3565 | Ternary predicate is a subclass of inheritable relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3563-3563 | Ternary predicate is a subclass of predicate |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3564-3564 | Ternary predicate is a subclass of ternary relation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 622-622 | |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3068-3068 | abbreviatedDisplayTitle is an instance of ternary predicate |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3215-3215 | after tax income is an instance of ternary predicate |
| No TPTP formula. May not be expressible in strict first order. | Law.kif 586-586 | age of majority for process is an instance of ternary predicate |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 722-722 | agreement revision date is an instance of ternary predicate |
| No TPTP formula. May not be expressible in strict first order. | Society.kif 965-965 | agriculturalArtifactTypeByRank is an instance of ternary predicate |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2244-2244 | agricultural product type by rank is an instance of ternary predicate |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3036-3036 | alternativeTitle is an instance of ternary predicate |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 608-608 | amount due is an instance of ternary predicate |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1502-1502 | annual expenditures of area in period is an instance of ternary predicate |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1474-1474 | annual revenues of area in period is an instance of ternary predicate |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20418-20418 | area of responsibility is an instance of ternary predicate |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2381-2381 | associate with status is an instance of ternary predicate |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3650-3650 | available balance is an instance of ternary predicate |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3670-3670 | available cash is an instance of ternary predicate |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 844-844 | average precipitation for period is an instance of ternary predicate |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1272-1272 | average rainfall for period is an instance of ternary predicate |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 596-596 | average temperature for period is an instance of ternary predicate |
| No TPTP formula. May not be expressible in strict first order. | TravelPolicies.kif 373-373 | basedIn is an instance of ternary predicate |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3232-3232 | before tax income is an instance of ternary predicate |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1522-1522 | beliefGroupPercentInRegion is an instance of ternary predicate |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1033-1033 | benchmark performance is an instance of ternary predicate |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4250-4250 | between is an instance of ternary predicate |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1843-1843 | bid price is an instance of ternary predicate |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 861-861 | biochemical agent antidote is an instance of ternary predicate |
| 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 3570-3572 |
|
|
|
|