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

Formal Language: 



KB Term:  Term intersection
English Word: 

  webStoreAdvertisement

 Sigma KEE - webStoreAdvertisement
webStoreAdvertisement

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 430-432
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 426-426 webStoreAdvertisement 的 1 数量 是 广告 的 instance
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 427-427 webStoreAdvertisement 的 2 数量 是 WebStore 的 instance
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 425-425 webStoreAdvertisement 是 二元谓语 的 instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4970-4970
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4969-4969
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4968-4968
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 428-428

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 434-441


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