No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2205-2205 |
Firmware is a subclass of computer program |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3247-3247 |
AppleBooks is a subclass of computer program |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3361-3361 |
I-message is a subclass of computer program |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3381-3381 |
I-tunes is a subclass of computer program |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 857-857 |
Monitoring program is a subclass of computer program |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 594-594 |
RMStartApplication is a subclass of computer program |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 612-612 |
Resource management program is a subclass of computer program |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2360-2360 |
Search engine is a subclass of computer program |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 406-406 |
Shutdown block is a subclass of computer program |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 268-268 |
Software system is a subclass of computer program |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 365-365 |
Startup block is a subclass of computer program |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2021-2021 |
Utility is a subclass of computer program |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2097-2097 |
Web browser is a subclass of computer program |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1233-1233 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1687-1687 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 911-911 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 444-444 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 447-447 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2595-2595 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 863-863 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 449-449 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 483-483 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 932-932 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 448-448 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |