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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SellersItemsFn

 Sigma KEE - SellersItemsFn
SellersItemsFn

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 989-990
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 981-981 O argumento numero 1 de SellersItemsFn e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 983-983 O argumento numero 2 de SellersItemsFn e' uma instancia de WebSite
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 979-979 SellersItemsFn e' uma instancia de Funcao Binaria
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 985-985 O contra-dominio de SellersItemsFn e' uma instancia de Colecao

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4482-4482
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4481-4481
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4480-4480
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 987-987

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1033-1060

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