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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GTCOrder

 Sigma KEE - GTCOrder
GTCOrder(GTC订单)

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2911-2915
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2910-2910 GTC订单 是 金融秩序 的 subAttribute

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26838-26838
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26837-26837
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26836-26836

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2917-2933

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2904-2908
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2977-2981


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