|
|
  Entity
|
|
|
| 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 3505-3506 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 655-656 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3503-3503 | Quaternary predicate is a subclass of inheritable relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3501-3501 | Quaternary predicate is a subclass of predicate |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3502-3502 | 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 14087-14087 | agreement clause is an instance of quaternary predicate |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29798-29798 | before on path is an instance of quaternary predicate |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4173-4173 | between on path is an instance of quaternary predicate |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 912-912 | capable during is an instance of quaternary predicate |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2727-2727 | capable at location is an instance of quaternary predicate |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4407-4407 | chief of diplomatic mission is an instance of quaternary predicate |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 645-645 | comparative area is an instance of quaternary predicate |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 223-223 | concentration is an instance of quaternary predicate |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4419-4419 | diplomatic representative in role is an instance of quaternary predicate |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2025-2025 | 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 2518-2518 | 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 2488-2488 | 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 2963-2963 | GMB is an instance of quaternary predicate |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2992-2992 | GMV is an instance of quaternary predicate |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2711-2711 | 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 2681-2681 | 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 1385-1385 | 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 16990-16990 | 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 197-197 | price range is an instance of quaternary predicate |
| No TPTP formula. May not be expressible in strict first order. | Catalog.kif 326-326 | published price is an instance of quaternary predicate |
| No TPTP formula. May not be expressible in strict first order. | Catalog.kif 447-447 | rental price 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 3508-3510 |
|
|
|
|