Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Update

 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 子類 更新 and ContentDevelopment
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4152-4152 子類 更新 and FinancialTransaction

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