| AsymmetricRelation
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1839-1840 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2277-2278 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 459-460 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9893-9893 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2275-2275 | 子類 AsymmetricRelation and AntisymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2274-2274 | 子類 AsymmetricRelation and IrreflexiveRelation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3030-3030 | 例 acronym and AsymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3420-3420 | 例 agentName and AsymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 696-696 | 例 協議採用日期 and AsymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 756-756 | 例 協議有效期間 and AsymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23205-23205 | 例 別號 and AsymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1312-1312 | 例 經營範圍 and AsymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13770-13770 | 例 原子數 and AsymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1715-1715 | 例 attribute and AsymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15455-15455 | 例 作者 and AsymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7814-7814 | 例 氣壓 and AsymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22911-22911 | 例 好處 and AsymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 350-350 | 例 可以操作 and AsymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22864-22864 | 例 貨物 and AsymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3777-3777 | 例 原因 and AsymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3821-3821 | 例 引起提案 and AsymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3800-3800 | 例 導致子類 and AsymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2057-2057 | 例 立法機關 and AsymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16751-16751 | 例 公民 and AsymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3573-3573 | 例 關閉 and AsymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1656-1656 | 例 地區寒冷季節 and AsymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10001-10001 | 例 完全填滿 and AsymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1015-1015 | 例 包含 and AsymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1355-1355 | 例 包含信息 and AsymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1635-1635 | 例 該地區涼爽的季節 and AsymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4198-4198 | 例 十字架 and AsymmetricRelation |
| 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 2280-2284 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2286-2290 |
|
|
|
|