No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 209-209 |
子類 Mac OS and 操作系統 |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2159-2159 |
子類 伯克利軟件分銷 and 操作系統 |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1542-1542 |
子類 MacOS and 操作系統 |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1547-1547 |
子類 MicrosoftWindows and 操作系統 |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 90-90 |
子類 PhoneOS and 操作系統 |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1008-1008 |
子類 solaris and 操作系統 |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1552-1552 |
子類 SymbianOS and 操作系統 |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 60-60 |
子類 WindowsOS and 操作系統 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42254-42254 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42253-42253 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 995-995 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42252-42252 |
|