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

Formal Language: 



KB Term:  Term intersection
English Word: 

  siteCatalog

 Sigma KEE - siteCatalog
siteCatalog

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2444-2447
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2440-2440 The number 1 argument of site catalog is an instance of database
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2442-2442 The number 2 argument of site catalog is an instance of WebSite
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2438-2438 site catalog is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4535-4535
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4534-4534
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4533-4533
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2449-2449

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2451-2468


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