Update - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Update

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 is a subclass of content development
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4152-4152	Update is a subclass of financial transaction

appearance as argument number 2

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

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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