|
|
   QuintaryPredicate
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2017-2018 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3396-3397 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3394-3394 | Quintary predicate is a subclass of inheritable relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3392-3392 | Quintary predicate is a subclass of predicate |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3393-3393 | Quintary predicate is a subclass of quintary relation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2091-2091 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2090-2090 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2089-2089 | |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 894-894 | component data ID is an instance of quintary predicate |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21217-21217 | plays role in event of type is an instance of quintary predicate |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 929-929 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1070-1070 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3399-3401 |
|
|
|
|