No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 189-191 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 184-184 |
The number 1 argument of advertised on is an instance of object |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 185-185 |
The number 2 argument of advertised on is an instance of web site |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 183-183 |
advertised on is an instance of binary predicate |