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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - watchingListings
watchingListings

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1431-1434
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1438-1438 The number 1 argument of watching listings is an instance of agent
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1440-1440 The number 2 argument of watching listings is an instance of collection
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1442-1442 The number 3 argument of watching listings is an instance of WebSite
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1429-1429 watching listings is an instance of ternary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4955-4955
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4954-4954
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4953-4953
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1436-1436

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1454-1468
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1448-1452
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1444-1446

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1812-1828


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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