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

Formal Language: 



KB Term:  Term intersection
English Word: 

  unpaidItem

 Sigma KEE - unpaidItem
unpaidItem

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 449-450
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 445-445 unpaidItem 的 1 数量 是 客体 的 instance
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 446-446 unpaidItem 的 2 数量 是 施事体 的 instance
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 444-444 unpaidItem 是 二元谓语 的 instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4882-4882
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4881-4881
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4880-4880
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 447-447

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


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


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