MarshallIslands
|
|
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 | 自身连接物体 是 客体 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1262-1262 | 群体 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 899-899 | 挪后函数 的 range 是 自身连接物体 的实例 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 879-879 | 挪前函数 的 range 是 自身连接物体 的实例 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14859-14859 | FoodForFn 的所得值 是 自身连接物体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4492-4492 | 水体 是 自身连接物体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1226-1226 | 躯体性物体 是 自身连接物体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14874-14874 | Food 是 自身连接物体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4723-4723 | 冰山 是 自身连接物体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 867-867 | OrganicThing 是 自身连接物体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2361-2361 | 舷梯 是 自身连接物体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2574-2574 | 船舶集装箱 是 自身连接物体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1041-1041 | 物质 是 自身连接物体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14266-14266 | 公交专用道 是 自身连接物体 的 subclass |
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 数量 是 自身连接物体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 878-878 | 挪前函数 的 1 数量 是 自身连接物体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17941-17941 | 近似直径 的 1 数量 是 自身连接物体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9709-9709 | 底部 的 1 数量 是 自身连接物体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9710-9710 | 底部 的 2 数量 是 自身连接物体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6681-6681 | 容量 的 1 数量 是 自身连接物体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1019-1019 | 容纳 的 1 数量 是 自身连接物体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7550-7550 | 高度 的 1 数量 是 自身连接物体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 995-995 | 洞 的 2 数量 是 自身连接物体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22699-22699 | 当时的组员 的 1 数量 是 自身连接物体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17401-17401 | 在船上 的 1 数量 是 自身连接物体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9739-9739 | 边 的 1 数量 是 自身连接物体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9740-9740 | 边 的 2 数量 是 自身连接物体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9677-9677 | 表面 的 1 数量 是 自身连接物体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9678-9678 | 表面 的 2 数量 是 自身连接物体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9724-9724 | 顶部 的 1 数量 是 自身连接物体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9725-9725 | 顶部 的 2 数量 是 自身连接物体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7284-7284 | 重量 的 1 数量 是 自身连接物体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1656-1656 | ingredientAmount 的 1 数量 是 自身连接物体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1657-1657 | ingredientAmount 的 2 数量 是 自身连接物体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2605-2605 | 可通行的交通类型 的 2 数量 是 自身连接物体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3036-3036 | 过境通行能力计数 的 2 数量 是 自身连接物体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3046-3046 | 过境通行能力 的 2 数量 是 自身连接物体 的 subclass |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9515-9519 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1987-1999 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 144-169 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4638-4652 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4627-4636 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4620-4625 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 910-912 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 891-893 |
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 |