TreeView Knowledge Base Browser - WebListingCategory

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

WebListingCategory

Sigma KEE - WebListingCategory

WebListingCategory

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 136-137
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 133-133	子類 WebListingCategory and Collection

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

UXExperimentalTerms.kif 134-134

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 164-164	域 categoryID, 2 and WebListingCategory
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 176-176	域 categoryOf, 1 and WebListingCategory

antecedent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 145-160	例 Collection and WebListingCategory 例 Physical and WebListing 例 Physical and WebListing 例 Process and Object 例 Process and Object 會員 Physical and Collection 會員 Physical and Collection 患者 Process and Physical 患者 Process and Physical Class 例 Class and Class 例 Process and Class 例 Process and Class
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 139-143	例 Collection and WebListingCategory 會員 Physical and Collection 例 Physical and WebListing

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 is open source software produced by Articulate Software and its partners