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 Le nombre 1 argument de SellersItemsFn est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 983-983 Le nombre 2 argument de SellersItemsFn est une instance de WebSite
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 979-979 SellersItemsFn est une instance de fonction binaire
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 985-985 Le domaine de SellersItemsFn est une instance de collection

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