No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2181-2182 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2175-2175 |
The number 1 argument of homepage is an instance of WebPage |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2177-2177 |
The number 2 argument of homepage is an instance of WebSite |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2173-2173 |
homepage is an instance of binary predicate |