No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5009-5009 |
AnimalProduct is a subclass of product |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 20-20 |
Computational system is a subclass of product |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 59-59 |
Computer hardware is a subclass of product |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5207-5207 |
Forest product is a subclass of product |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5186-5186 |
Plant product is a subclass of product |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1049-1049 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1309-1309 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 727-727 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 258-258 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 261-261 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2411-2411 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 679-679 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 263-263 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 297-297 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 748-748 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 262-262 |
|