| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17323-17323 |
主观评价属性 和 % 2 是 disjoint |
| No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3013-3013 |
NSFW 是 客观标准 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26149-26149 |
WheelchairAccessible 是 客观标准 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17404-17404 |
真势属性 是 客观标准 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17385-17385 |
比赛属性 是 客观标准 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17467-17467 |
道义属性 是 客观标准 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1827-1827 |
设备属性 是 客观标准 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17519-17519 |
概率属性 是 客观标准 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1243-1243 |
|
| No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1707-1707 |
|
| No TPTP formula. May not be expressible in strict first order. |
french_format.kif 921-921 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 455-455 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 458-458 |
|
| No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2605-2605 |
|
| No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 873-873 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 494-494 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 942-942 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 459-459 |
|
ObjectiveNorm