|
|
   QuaternaryPredicate
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2015-2016 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3385-3386 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3383-3383 | Quaternary predicate is a subclass of inheritable relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3381-3381 | Quaternary predicate is a subclass of predicate |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3382-3382 | Quaternary predicate is a subclass of quaternary relation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2087-2087 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2086-2086 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2085-2085 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11696-11696 | agreement clause is an instance of quaternary predicate |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27988-27988 | beforeOnPath is an instance of quaternary predicate |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4025-4025 | between on path is an instance of quaternary predicate |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 865-865 | capable during is an instance of quaternary predicate |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2660-2660 | capable at location is an instance of quaternary predicate |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4374-4374 | chief of diplomatic mission is an instance of quaternary predicate |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 644-644 | comparative area is an instance of quaternary predicate |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4386-4386 | diplomatic representative in role is an instance of quaternary predicate |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2029-2029 | electricity fraction from source in period is an instance of quaternary predicate |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2521-2521 | export partner by fraction in period is an instance of quaternary predicate |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2491-2491 | export partner by rank in period is an instance of quaternary predicate |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2927-2927 | GMB is an instance of quaternary predicate |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2956-2956 | GMV is an instance of quaternary predicate |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2714-2714 | import partner by fraction in period is an instance of quaternary predicate |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2684-2684 | import partner by rank in period is an instance of quaternary predicate |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1391-1391 | labor force fraction by occupation in period is an instance of quaternary predicate |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14546-14546 | monetary wage is an instance of quaternary predicate |
| No TPTP formula. May not be expressible in strict first order. | Justice.kif 30-30 | observed at time in place is an instance of quaternary predicate |
| No TPTP formula. May not be expressible in strict first order. | Catalog.kif 192-192 | price range is an instance of quaternary predicate |
| No TPTP formula. May not be expressible in strict first order. | Catalog.kif 311-311 | published price is an instance of quaternary predicate |
| No TPTP formula. May not be expressible in strict first order. | Catalog.kif 430-430 | rental price is an instance of quaternary predicate |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28190-28190 | rents is an instance of quaternary predicate |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3388-3390 |
|
|
|
|