|
|
   IrreflexiveRelation
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1835-1836 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2251-2252 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 455-456 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8551-8551 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9357-9357 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2249-2249 | 子類 IrreflexiveRelation and BinaryRelation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16347-16347 | 例 祖先 and IrreflexiveRelation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24166-24166 | 例 祖先組織 and IrreflexiveRelation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10660-10660 | 例 antagonistMuscles and IrreflexiveRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1716-1716 | 例 attribute and IrreflexiveRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8097-8097 | 例 之前 and IrreflexiveRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16500-16500 | 例 哥哥 and IrreflexiveRelation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16809-16809 | 例 同學關係 and IrreflexiveRelation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16830-16830 | 例 同事關係 and IrreflexiveRelation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6491-6491 | 例 共軛 and IrreflexiveRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16093-16093 | 例 連接的工程組件 and IrreflexiveRelation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7711-7711 | 例 顧客 and IrreflexiveRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2615-2615 | 例 降低可能性 and IrreflexiveRelation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4544-4544 | 例 外交關係 and IrreflexiveRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 410-410 | 例 不相交的關係 and IrreflexiveRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8307-8307 | 例 期間 and IrreflexiveRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8369-8369 | 例 早期 and IrreflexiveRelation |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2370-2370 | 例 出口夥伴 and IrreflexiveRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8067-8067 | 例 飾面 and IrreflexiveRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5887-5887 | 例 圖形部分 and IrreflexiveRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1845-1845 | 例 比較多 and IrreflexiveRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4389-4389 | 例 hinders and IrreflexiveRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4307-4307 | 例 hindersSubclass and IrreflexiveRelation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8422-8422 | 例 敵對勢力 and IrreflexiveRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16570-16570 | 例 丈夫 and IrreflexiveRelation |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2658-2658 | 例 進口夥伴 and IrreflexiveRelation |
| 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 2286-2290 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2254-2258 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2280-2284 |
|
|
|
|
