No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 227-227 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 228-228 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 133-133 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 253-253 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 1962-1962 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 85-85 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-de.txt 296-296 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 290-290 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 152-152 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 138-138 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 445-445 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6113-6113 |
abstractCounterpart est une sous-relation de represents |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 349-349 |
anthem est une sous-relation de represents |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3498-3498 |
cardCode est une sous-relation de represents |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26923-26923 |
conforms est une sous-relation de represents |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1356-1356 |
containsInformation est une sous-relation de represents |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1020-1020 |
hardwareType est une sous-relation de represents |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4050-4050 |
implementsProtocol est une sous-relation de represents |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3537-3537 |
pin est une sous-relation de represents |
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1301-1301 |
productBrand est une sous-relation de represents |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 14-14 |
productModel est une sous-relation de represents |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4595-4595 |
realization est une sous-relation de represents |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14322-14322 |
record est une sous-relation de represents |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49532-49532 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |