TreeView Knowledge Base Browser

appearance as argument number 1

s__documentation(s__homePage__m,s__EnglishLanguage,'"(homePage ?PAGE ?SITE) identifies the WebPage ?PAGE as the home page of the WebSite ?SITE"')	UXExperimentalTerms.kif 2181-2182
s__domain(s__homePage__m,n__1,s__WebPage)	UXExperimentalTerms.kif 2175-2175	The number 1 argument of homepage is an instance of WebPage
s__domain(s__homePage__m,n__2,s__WebSite)	UXExperimentalTerms.kif 2177-2177	The number 2 argument of homepage is an instance of WebSite
s__instance(s__homePage__m,s__BinaryPredicate) s__instance(s__BinaryPredicate,s__Class)	UXExperimentalTerms.kif 2173-2173	homepage is an instance of binary predicate

appearance as argument number 2

s__format(s__ChineseLanguage,s__homePage__m,'"%1 是 %2 的 home page "')	domainEnglishFormat.kif 3643-3643
s__format(s__ChineseTraditionalLanguage,s__homePage__m,'"%1 是 %2 的 home page "')	domainEnglishFormat.kif 3642-3642
s__format(s__EnglishLanguage,s__homePage__m,'"%1 is the home page of %2"')	domainEnglishFormat.kif 3641-3641
s__termFormat(s__EnglishLanguage,s__homePage__m,'"homepage"')	UXExperimentalTerms.kif 2179-2179

antecedent

( ! [V__PAGE,V__SITE] :
   (((s__instance(V__PAGE,s__WebPage) &
         s__instance(V__SITE,s__WebSite))
       =>
       ((s__homePage(V__PAGE,V__SITE)
         =>
         (s__component(V__PAGE,V__SITE)))))
)
)

UXExperimentalTerms.kif 2184-2186

If a WebPage is the home page of a WebSite,
then the WebPage is a component of the WebSite

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: