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 3504-3505 | |
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 3502-3502 | 子類 QuaternaryPredicate and 可繼承的關係 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3500-3500 | 子類 QuaternaryPredicate and Predicate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3501-3501 | 子類 QuaternaryPredicate and QuaternaryRelation |
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 14060-14060 | 例 agreementClause and QuaternaryPredicate |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29773-29773 | 例 beforeOnPath and QuaternaryPredicate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4172-4172 | 例 在路徑之間 and QuaternaryPredicate |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 912-912 | 例 capabilityDuring and QuaternaryPredicate |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2682-2682 | 例 能夠在位置 and QuaternaryPredicate |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4443-4443 | 例 外交使團團長 and QuaternaryPredicate |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 645-645 | 例 比較區域 and QuaternaryPredicate |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 223-223 | 例 concentration and QuaternaryPredicate |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4455-4455 | 例 外交代表擔任職務 and QuaternaryPredicate |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2025-2025 | 例 來自時期的電力部分 and QuaternaryPredicate |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2518-2518 | 例 出口合作夥伴按期間分數 and QuaternaryPredicate |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2488-2488 | 例 出口合作夥伴按期間排名 and QuaternaryPredicate |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2963-2963 | 例 grossMerchandiseBoughtInPeriod and QuaternaryPredicate |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2992-2992 | 例 grossMerchandiseSoldInPeriod and QuaternaryPredicate |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2711-2711 | 例 按期間分數進口合作夥伴 and QuaternaryPredicate |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2681-2681 | 例 按期間排名的進口夥伴 and QuaternaryPredicate |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1385-1385 | 例 按職業期間劃分的勞動力比例 and QuaternaryPredicate |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16963-16963 | 例 貨幣工資 and QuaternaryPredicate |
No TPTP formula. May not be expressible in strict first order. | Justice.kif 30-30 | 例 在適當的時候觀察 and QuaternaryPredicate |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 197-197 | 例 priceRange and QuaternaryPredicate |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 326-326 | 例 publishedPrice and QuaternaryPredicate |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 447-447 | 例 rentalPrice and QuaternaryPredicate |
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 3507-3509 |
|