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


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners