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 e' uma sub-classe de Colecao

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 O argumento numero 2 de categoryID e' uma instancia de WebListingCategory
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 176-176 O argumento numero 1 de categoryOf e' uma instancia de WebListingCategory

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