hasAccount |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2072-2073 | |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2070-2070 | 有帐户 的 1 数量 是 施事体 的 instance |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2071-2071 | 有帐户 的 2 数量 是 用户帐号 的 instance |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2069-2069 | 有帐户 是 非对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2068-2068 | 有帐户 是 possesses 的 subrelation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3602-3602 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3601-3601 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3600-3600 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27498-27498 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27497-27497 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27496-27496 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 881-885 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4427-4444 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 660-665 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4123-4135 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4079-4092 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4101-4114 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4566-4576 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4009-4020 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3972-3986 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3988-4002 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1099-1103 |
|
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2051-2054 | |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2088-2091 | |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2075-2079 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4143-4153 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4566-4576 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3965-3970 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1727-1746 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1759-1778 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1791-1810 |
|
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2040-2043 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4337-4345 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 873-879 |