No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1442-1442 |
task relation is a subrelation of property |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17010-17010 |
truth is a subrelation of property |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47804-47804 |
|
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 178-178 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47803-47803 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47802-47802 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-de.txt 70-70 |
|