TreeView Knowledge Base Browser - siteCatalog

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - siteCatalog

siteCatalog

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2235-2238
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2231-2231	O argumento numero 1 de siteCatalog e' uma instancia de Database
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2233-2233	O argumento numero 2 de siteCatalog e' uma instancia de WebSite
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2229-2229	siteCatalog e' uma instancia de Predicado Binario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4526-4526
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4525-4525
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4524-4524
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2240-2240

antecedent

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

UXExperimentalTerms.kif 2242-2259

siteCatalog Database and WebSite
Objeto Colecao and Sequencia Simbolica Colecao e' uma instancia de Colecao Objeto e' uma &parte de Database Objeto define Colecao Objeto
- Objeto e' membro de Colecao
- Objeto e' uma instancia de Fisico Objeto e' capaz de fazer a classe descrita por Sequencia Simbolica no role patient

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