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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WebListing
WebListing(web listing)

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 34-35
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 30-30 Web listing is a subclass of advertising

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


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

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1217-1217 The number 3 argument of sellers other items is an instance of web listing
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 148-148 The number 1 argument of hosted on is an instance of web listing
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 125-125 The number 1 argument of listing bidder is an instance of web listing
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 94-94 The number 1 argument of listing buyer is an instance of web listing
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 58-58 The number 1 argument of listing seller is an instance of web listing
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2532-2532 The number 1 argument of search result is an instance of web listing
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1741-1741 The number 2 argument of viewed listing is an instance of web listing

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 182-197
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3130-3147
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3055-3079
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1230-1257
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 464-470
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 472-479
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 393-405
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 44-50
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2287-2300
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 37-42

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 375-379
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2693-2699
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1189-1205
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 176-180
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3130-3147
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3055-3079
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2274-2285
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 307-322
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 282-292
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 271-280
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 338-358
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1156-1162


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