TreeView Knowledge Base Browser - Update

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Update

Update

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4154-4154
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12121-12121
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12123-12123
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4153-4153	Update e' uma sub-classe de Desenvolvimento de Conteudo
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4152-4152	Update e' uma sub-classe de Transacao Financeira

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60604-60604
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60603-60603
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60602-60602

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