![]() |
![]() ![]() ![]()
|
![]() |
|
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 3519-3520 | |
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 3517-3517 | Quaternary predicate is a subclass of inheritable relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3515-3515 | Quaternary predicate is a subclass of predicate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3516-3516 | 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 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. | Mid-level-ontology.kif 15431-15431 | agreement clause is an instance of quaternary predicate |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31666-31666 | before on path is an instance of quaternary predicate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4195-4195 | 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 3213-3213 | capable at location is an instance of quaternary predicate |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4404-4404 | chief of diplomatic mission is an instance of quaternary predicate |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 811-811 | 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 4416-4416 | diplomatic representative in role is an instance of quaternary predicate |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2265-2265 | 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 2758-2758 | 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 2728-2728 | 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 2966-2966 | GMB is an instance of quaternary predicate |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2995-2995 | GMV is an instance of quaternary predicate |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3048-3048 | 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 3018-3018 | 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 1510-1510 | 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 18350-18350 | 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 3522-3524 |
|
![]() |
![]() |