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 1215-1215 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 2529-2529 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 1740-1740 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 3127-3144
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3052-3076
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1228-1255
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 463-469
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 471-478
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 2284-2297
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1453-1467
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 2690-2696
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1187-1203
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 3127-3144
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3052-3076
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2271-2282
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1447-1451
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 1154-1160


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