hostedOn |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 122-123 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 118-118 | hostedOn 的 1 数量 是 WebListing 的 instance |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 119-119 | hostedOn 的 2 数量 是 WebSite 的 instance |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 117-117 | hostedOn 是 二元谓语 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3670-3670 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3669-3669 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3668-3668 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 120-120 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 39-45 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 86-98 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 70-74 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 125-131 |
consequent |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 193-199 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 992-1008 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2845-2870 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2065-2076 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 240-255 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 209-218 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 266-286 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 32-37 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 959-965 |
|