TreeView Knowledge Base Browser - homePage

Browsing Interface : Welcome guest : log in

[ Home | Graph | LogLearn | Editor | ] KB: Language:

Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - homePage

homePage

appearance as argument number 1

(instance homePage BinaryPredicate)	UXExperimentalTerms.kif 1965-1965	homepage is an instance of binary predicate
(domain homePage 1 WebPage)	UXExperimentalTerms.kif 1967-1967	The number 1 argument of homepage is an instance of web page
(domain homePage 2 WebSite)	UXExperimentalTerms.kif 1969-1969	The number 2 argument of homepage is an instance of web site
(documentation homePage EnglishLanguage "(homePage ?PAGE ?SITE) identifies the WebPage ?PAGE as the home page of the WebSite ?SITE")	UXExperimentalTerms.kif 1973-1974	The number 2 argument of homepage is an instance of web site

appearance as argument number 2

(termFormat EnglishLanguage homePage "homepage")	UXExperimentalTerms.kif 1971-1971
(format EnglishLanguage homePage "%1 is the home page of %2")	domainEnglishFormat.kif 3634-3634
(format ChineseTraditionalLanguage homePage "%1 是 %2 的 home page ")	domainEnglishFormat.kif 3635-3635
(format ChineseLanguage homePage "%1 是 %2 的 home page ")	domainEnglishFormat.kif 3636-3636

antecedent

(=>
(homePage ?PAGE ?SITE)
(component ?PAGE ?SITE))

UXExperimentalTerms.kif 1976-1978

If X is the home page of Y, then X is a component of Y

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

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners