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

Formal Language: 



KB Term:  Term intersection
English Word: 

  VideoTapeAndDiscRental

Sigma KEE - VideoTapeAndDiscRental
VideoTapeAndDiscRental(video tape and disc rental)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 9759-9761
No TPTP formula. May not be expressible in strict first order. naics.kif 9757-9757 Video tape and disc rental is a subattribute of consumer goods rental

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61634-61634
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61633-61633
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61632-61632


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