No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2269-2269 |
BestMatchAlgorithm e' uma sub-classe de Procedimento |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2164-2164 |
CodingScheme e' uma sub-classe de Procedimento |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16783-16783 |
Programa de Computador e' uma sub-classe de Procedimento |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1718-1718 |
ComputerProtocol e' uma sub-classe de Procedimento |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2255-2255 |
EncodingProcedure e' uma sub-classe de Procedimento |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1161-1161 |
Method e' uma sub-classe de Procedimento |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 690-690 |
Orthography e' uma sub-classe de Procedimento |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16798-16798 |
Plano e' uma sub-classe de Procedimento |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 808-808 |
Software e' uma sub-classe de Procedimento |
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 |
|