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

Formal Language: 



KB Term:  Term intersection
English Word: 

  eCommerceSite

 Sigma KEE - eCommerceSite
eCommerceSite

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1713-1714
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1705-1705 eCommerceSite 的 1 数量 是 金融交易 的 instance
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1707-1707 eCommerceSite 的 2 数量 是 WebSite 的 instance
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1703-1703 eCommerceSite 是 格角色 的 instance
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1711-1711 eCommerceSite 是 broker 的 subrelation
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1709-1709 eCommerceSite 是 工具 的 subrelation

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3294-3294
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3293-3293
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3292-3292
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65816-65816

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3534-3543
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3545-3555
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3582-3591
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3593-3603
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2845-2870
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 86-98
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 839-846
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 934-941
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 240-255
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 398-405
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2242-2259
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 829-837
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 924-932


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