No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1925-1925 |
ask price is an instance of ternary relation |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1493-1493 |
release for sale is an instance of ternary relation |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4549-4549 |
security QA is an instance of ternary relation |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3304-3304 |
tax deferred income is an instance of ternary relation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3400-3400 |
Binary function is a subclass of ternary relation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3491-3491 |
Ternary predicate is a subclass of ternary relation |
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 |
|