| BinaryPredicate(binary predicate) | | مَحْمُول ثُنَائِي, Predicado_Binario, PredicatoBinario, binary_predicate, dalawang_panaguri, dvi-lakshana, pr�dicat_binaire, 二元谓语 |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3556-3557 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3554-3555 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3552-3552 | Binary predicate is a subclass of binary relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3553-3553 | Binary predicate is a subclass of inheritable relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3551-3551 | Binary predicate is a subclass of predicate |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 80-80 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25045-25045 | abbreviation is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1454-1454 | absolute height is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 858-858 | absorbed dose is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6207-6207 | abstractCounterpart is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20276-20276 | part is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1614-1614 | abstraction level is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 709-709 | accessibleFromMenu is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 908-908 | accessibleFromMenuItem is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2695-2695 | accommodations provider is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 229-229 | account at is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 773-773 | account at site is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 248-248 | account holder is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3326-3326 | account number is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3834-3834 | account status is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2223-2223 | accrued interest is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16636-16636 | acquaintance is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2999-2999 | acronym is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | TravelPolicies.kif 168-168 | activePolicy is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 560-560 | activity capability is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 898-898 | adjacent orientation is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 370-370 | administrative center is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3848-3848 | administrator is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3854-3854 | administrator status is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 238-238 | advertised on is an instance of binary predicate |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 19-19 | The number 3 argument of contraryAttributeWRT is an instance of binary predicate |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8364-8369 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3559-3561 |
|
|
|
|