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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MotorVehicleManufacturing

 Sigma KEE - qualifiedPageView
qualifiedPageView

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4076-4077
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4072-4072 qualifiedPageView 的 1 数量 是 试验 的 instance
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4074-4074 qualifiedPageView 的 2 数量 是 AccessingWebPage 的 instance
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4070-4070 qualifiedPageView 是 二元谓语 的 instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4294-4294
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4293-4293
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4292-4292
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65919-65919

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4079-4085


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