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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Piedmont

 Sigma KEE - Auctioning
Auctioning

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 330-332
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 328-328 子類 Auctioning and Selling

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


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

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 409-409 域 reservePrice, 1 and Auctioning

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 354-365
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 343-352
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3202-3215
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 336-341