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

Formal Language: 



KB Term:  Term intersection
English Word: 

  objectOfBid

 Sigma KEE - objectOfBid
objectOfBid

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1440-1441
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1437-1437 objectOfBid 的 1 数量 是 Bidding 的 instance
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1438-1438 objectOfBid 的 2 数量 是 物理 的 instance
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1436-1436 objectOfBid 是 二元谓语 的 instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4006-4006
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4005-4005
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4004-4004
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1439-1439

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


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

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2922-2940
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1407-1414


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