No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3276-3276 |
船员 的 range 是 群组 的实例 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1335-1335 |
文件系统 是 群组 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7476-7476 |
一群动物 是 群组 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16234-16234 |
一群人 是 群组 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16604-16604 |
机构 是 群组 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1063-1063 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1337-1337 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 741-741 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 272-272 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 275-275 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2425-2425 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 693-693 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 277-277 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 311-311 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 762-762 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 276-276 |
|