| No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1925-1925 |
askPrice est une instance de relation ternaire |
| No TPTP formula. May not be expressible in strict first order. |
Music.kif 1493-1493 |
releaseForSale est une instance de relation ternaire |
| No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4549-4549 |
securityQA est une instance de relation ternaire |
| No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3304-3304 |
taxDeferredIncome est une instance de relation ternaire |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3399-3399 |
Fonction binaire est une sous-classe de relation ternaire |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3490-3490 |
Pr�dicat ternaire est une sous-classe de relation ternaire |
| No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 910-910 |
|
| No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1027-1027 |
|
| No TPTP formula. May not be expressible in strict first order. |
french_format.kif 586-586 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 116-116 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 119-119 |
|
| No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2271-2271 |
|
| No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 538-538 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 153-153 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 607-607 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 120-120 |
|
TernaryRelation