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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MNHOrder

 Sigma KEE - MNHOrder
MNHOrder(MNH订单)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2947-2949
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2946-2946 MNH订单 是 金融秩序 的 subAttribute

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38151-38151
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38150-38150
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38149-38149


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