TernaryPredicate(ternary predicate) |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2263-2263 | code mapping is an instance of ternary predicate |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16829-16829 | colleague is an instance of ternary predicate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18361-18361 | comment is an instance of ternary predicate |
No TPTP formula. May not be expressible in strict first order. | Communications.kif 132-132 | communication satellite for area is an instance of ternary predicate |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3366-3366 | compensation package is an instance of ternary predicate |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 550-550 | compound interest is an instance of ternary predicate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2582-2582 | conditional probability is an instance of ternary predicate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3991-3991 | confers norm is an instance of ternary predicate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17453-17453 | confers obligation is an instance of ternary predicate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17432-17432 | confers right is an instance of ternary predicate |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 24-24 | connectedBodyPartTypes is an instance of ternary predicate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9528-9528 | connects is an instance of ternary predicate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16158-16158 | connects engineering components is an instance of ternary predicate |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1070-1070 | contest entry is an instance of ternary predicate |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 875-875 | contest object is an instance of ternary predicate |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1094-1094 | contest representation is an instance of ternary predicate |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 494-494 | contracted rental price is an instance of ternary predicate |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 16-16 | contrary attribute WRT is an instance of ternary predicate |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 115-115 | corkage fee is an instance of ternary predicate |
No TPTP formula. May not be expressible in strict first order. | Law.kif 456-456 | counsel in case is an instance of ternary predicate |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3816-3816 | courseWRT compass north is an instance of ternary predicate |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3784-3784 | courseWRT magnetic north is an instance of ternary predicate |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3721-3721 | courseWRT true north is an instance of ternary predicate |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3870-3870 | credits per period is an instance of ternary predicate |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3638-3638 | currency exchange rate in period is an instance of ternary predicate |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |