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 14905-14905 | 範圍子類 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 14920-14920 | 子類 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 2354-2354 | 子類 舷梯 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 14312-14312 | 子類 公交專用道 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 |
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 17968-17968 | 域 approximateDiameter, 1 and SelfConnectedObject |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9745-9745 | 域 底部, 1 and SelfConnectedObject |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9746-9746 | 域 底部, 2 and SelfConnectedObject |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6675-6675 | 域 容量, 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 7551-7551 | 域 高度, 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 22751-22751 | 域 時間上的會員, 1 and SelfConnectedObject |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17428-17428 | 域 在船上, 1 and SelfConnectedObject |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9775-9775 | 域 側, 1 and SelfConnectedObject |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9776-9776 | 域 側, 2 and SelfConnectedObject |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9713-9713 | 域 表面, 1 and SelfConnectedObject |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9714-9714 | 域 表面, 2 and SelfConnectedObject |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9760-9760 | 域 上, 1 and SelfConnectedObject |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9761-9761 | 域 上, 2 and SelfConnectedObject |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7285-7285 | 域 重量, 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 2638-2638 | 域子類 可通行的交通類型, 2 and SelfConnectedObject |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3088-3088 | 域子類 過境通行能力計數, 2 and SelfConnectedObject |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3098-3098 | 域子類 過境通行能力, 2 and SelfConnectedObject |
antecedent |
consequent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9557-9561 | |
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 12521-12526 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14504-14510 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12537-12542 |
|