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 是 群体 的 subclass

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 数量 是 WebListingCategory 的 instance
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 176-176 categoryOf 的 1 数量 是 WebListingCategory 的 instance

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 145-160
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 139-143


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