No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2269-2269 |
BestMatchAlgorithm est une sous-classe de proc�dure |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2164-2164 |
CodingScheme est une sous-classe de proc�dure |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16854-16854 |
Programme d'ordinateur est une sous-classe de proc�dure |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1718-1718 |
ComputerProtocol est une sous-classe de proc�dure |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2255-2255 |
EncodingProcedure est une sous-classe de proc�dure |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1161-1161 |
Method est une sous-classe de proc�dure |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 683-683 |
Orthography est une sous-classe de proc�dure |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16869-16869 |
Plan est une sous-classe de proc�dure |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 808-808 |
Software est une sous-classe de proc�dure |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1232-1232 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1685-1685 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 910-910 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 443-443 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 446-446 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2594-2594 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 862-862 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 448-448 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 482-482 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 931-931 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 447-447 |
|