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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 O argumento numero 1 de eCommerceSite e' uma instancia de Transacao Financeira
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1707-1707 O argumento numero 2 de eCommerceSite e' uma instancia de WebSite
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1703-1703 eCommerceSite e' uma instancia de Role em Caso
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1711-1711 eCommerceSite e' uma sub-relacao de broker
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1709-1709 eCommerceSite e' uma sub-relacao de instrument

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 65818-65818

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 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