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 | The number 1 argument of has account is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2071-2071 | The number 2 argument of has account is an instance of user account |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2069-2069 | has account is an instance of asymmetric relation |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2068-2068 | has account is a subrelation of possesses |
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 |