SelfConnectedObject |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1555-1556 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 864-865 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 126-127 | |
No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 146-147 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 862-862 | 子類 SelfConnectedObject and Object |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1262-1262 | 不相交的 Collection and SelfConnectedObject |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 899-899 | 範圍 背部 and SelfConnectedObject |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 879-879 | 範圍 面前 and SelfConnectedObject |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14859-14859 | 範圍子類 FoodForFn and SelfConnectedObject |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4492-4492 | 子類 水體 and SelfConnectedObject |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1226-1226 | 子類 CorpuscularObject and SelfConnectedObject |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14874-14874 | 子類 Food and SelfConnectedObject |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4723-4723 | 子類 冰山 and SelfConnectedObject |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 867-867 | 子類 OrganicThing and SelfConnectedObject |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2361-2361 | 子類 舷梯 and SelfConnectedObject |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2574-2574 | 子類 船舶集裝箱 and SelfConnectedObject |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1041-1041 | 子類 Substance and SelfConnectedObject |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14266-14266 | 子類 公交專用道 and SelfConnectedObject |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 816-816 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 834-834 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 492-492 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 25-25 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 28-28 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2177-2177 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 444-444 | |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 29-29 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 59-59 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 513-513 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 29-29 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 898-898 | 域 背部, 1 and SelfConnectedObject |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 878-878 | 域 面前, 1 and SelfConnectedObject |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17941-17941 | 域 approximateDiameter, 1 and SelfConnectedObject |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9709-9709 | 域 底部, 1 and SelfConnectedObject |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9710-9710 | 域 底部, 2 and SelfConnectedObject |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6681-6681 | 域 容量, 1 and SelfConnectedObject |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1019-1019 | 域 包含, 1 and SelfConnectedObject |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7550-7550 | 域 高度, 1 and SelfConnectedObject |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 995-995 | 域 hole, 2 and SelfConnectedObject |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22699-22699 | 域 時間上的會員, 1 and SelfConnectedObject |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17401-17401 | 域 在船上, 1 and SelfConnectedObject |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9739-9739 | 域 側, 1 and SelfConnectedObject |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9740-9740 | 域 側, 2 and SelfConnectedObject |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9677-9677 | 域 表面, 1 and SelfConnectedObject |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9678-9678 | 域 表面, 2 and SelfConnectedObject |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9724-9724 | 域 上, 1 and SelfConnectedObject |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9725-9725 | 域 上, 2 and SelfConnectedObject |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7284-7284 | 域 重量, 1 and SelfConnectedObject |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1656-1656 | 域子類 ingredientAmount, 1 and SelfConnectedObject |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1657-1657 | 域子類 ingredientAmount, 2 and SelfConnectedObject |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2605-2605 | 域子類 可通行的交通類型, 2 and SelfConnectedObject |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3036-3036 | 域子類 過境通行能力計數, 2 and SelfConnectedObject |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3046-3046 | 域子類 過境通行能力, 2 and SelfConnectedObject |
antecedent |
consequent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9521-9525 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 383-396 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 403-416 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12475-12480 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14477-14483 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12491-12496 |
|